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