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