John Hartman Understanding Natural Programs Using Proper Decomposition. 62-73 1991 ICSE http://portal.acm.org/citation.cfm?id=256664.256684 db/conf/icse/icse91.html#Hartman91