Daniel E. Cooke Software Automation. 70-72 1993 conf/seke/1993 SEKE db/conf/seke/seke1993.html#Cooke93