Susan L. Gerhart Formal Methods: An International Perspective. 36-37 1991 ICSE http://portal.acm.org/citation.cfm?id=256664.256678 db/conf/icse/icse91.html#Gerhart91