"Idealized Commit Logs: Code Simplification via Program Slicing" by Alan Shreve