Egidio Astesiano Gianna Reggio Maura Cerioli From Formal Techniques to Well-Founded Software Development Methods. 132-150 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2757&spage=132 2002 conf/unu/2002 10th Anniversary Colloquium of UNU/IIST db/conf/unu/unu2002.html#AstesianoRC02