Robert J. Jenkins Jr. ISAAC. 41-49 1996 conf/fse/1996 FSE db/conf/fse/fse96.html#Jenkins96