Nachum Dershowitz Zohar Manna The Evolution of Programs: A System for Automatic Program Modification. 144-154 1977 conf/popl/77 POPL db/conf/popl/popl77.html#DershowitzM77 POPL/00001438.PDF http://doi.acm.org/10.1145/512950.512964