J. Strother Moore On the Adoption of Formal Methods by Industry: The ACL2 Experience. 13 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3308&spage=13 2004 conf/icfem/2004 ICFEM db/conf/icfem/icfem2004.html#Moore04