Peter Madden Formal Methods for Automated Program Improvement. 367-378 1994 conf/ki/1994 KI db/conf/ki/ki94.html#Madden94