Adding Formalism to Methods or <i>Where and When Will Industry Use Formal Reasoning?</i>.

Mathai Joseph Adding Formalism to Methods or <i>Where and When Will Industry Use Formal Reasoning?</i>. 26-33 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2885&spage=26 2003 conf/icfem/2003 ICFEM db/conf/icfem/icfem2003.html#Joseph03