Specification case studies (Prentice Hall, 1993)
Includes index.