Elaine Kant Synthesis of Mathematical Modeling Software. 30-41 1993 10 IEEE Software 3 db/journals/software/software10.html#Kant93