Last update: Thu Mar 14 02:06:14 MDT 2013
@Article{Keuffel:1992:CYR, author = "Warren Keuffel", title = "Clean Your Room: Formal Methods in the '90s", journal = j-COMP-LANG-MAG, volume = "9", number = "7", pages = "38--??", month = jul, year = "1992", CODEN = "COMLEF", ISSN = "0749-2839", bibdate = "Tue Jan 23 08:04:25 MST 1996", bibsource = "http://www.math.utah.edu/pub/tex/bib/complang.bib", acknowledgement = ack-nhfb, }