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