Carol Muehrcke Formal Methods for the Informal World. 1994 CSFW db/conf/csfw/csfw1994.html#Muehrcke94 36-46