Object-oriented specification case studies /
Lano, Kevin.
Haughton, Howard.
New York ; London : Prentice-Hall,
1994 [i.e. 1993]