Object-oriented specification case studies - Haughton, H. (Prentice Hall, 1993)