Object-oriented specification case studies / - Lano, K.; Haughton, H. (Prentice Hall, 1993)