Specification case studies /
Hayes, Ian,1956-
Hemel Hempstead : Prentice-Hall,
1993.