Juan Quemada Formal Description Techniques and Software Engineering: Some Reflections after 2 Decades of Research. 33-42 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3235&spage=33 2004 conf/forte/2004 FORTE db/conf/forte/forte2004.html#Quemada04