David Notkin Longitudinal program analysis. 1 2002 conf/paste/2002 PASTE http://doi.acm.org/10.1145/586094.586095 db/conf/paste/paste2002.html#Notkin02