Hayes (1992)
Hayes I. (1992)
Specification Case Studies
Prentice Hall, 2nd edn