Anthony I. Wasserman Three Books for a Desert Island. 91-93 2000 7 Autom. Softw. Eng. 1 db/journals/ase/ase7.html#Wasserman00