An Integrated Development Environment for Formal Specifications. - Michael R. Laux; Robert H. Bourdeau; Betty H. C. Cheng (SEKE, 1993)