Anthony I. Wasserman Three Books for a Desert Island. 91-93 2000 7 Autom. Softw. Eng. 1 db/journals/ase/ase7.html#Wasserman00 http://dx.doi.org/10.1023/A:1008769301604