Karen Rosenberg The Adoption of Formal Methods within OTC. 91-98 1991 conf/forte/1991 FORTE db/conf/forte/forte1991.html#Rosenberg91