Andrew Strelzoff Revision Recognition for Scientific Computing: Theory and Application. 46-53 2003 conf/seke/2003 SEKE db/conf/seke/seke2003.html#Strelzoff03