John A. Chaves Formal Methods at AT&T - An Industrial Usage Report. 83-90 1991 conf/forte/1991 FORTE db/conf/forte/forte1991.html#Chaves91