David Ginat Michal Armoni Reversing: an essential heuristic in program and proof design. 469-473 2006 conf/sigcse/2006 SIGCSE http://doi.acm.org/10.1145/1121341.1121488 db/conf/sigcse/sigcse2006.html#GinatA06