Author: Workshop on Industrial-Strength Formal Specification Techniques (1995 Boca Raton, Fla.)