Horst F. Wedde Betty H. C. Cheng David Gries N. Shankar Kwei-Jay Lin Mark A. Ardis Are formal methods useful for software development? 2-9 1992 COMPSAC https://doi.org/10.1109/CMPSAC.1992.217611 conf/compsac/1992 db/conf/compsac/compsac1992.html#WeddeCGSLA92