Hayes (1992)

Hayes I. (1992)

Specification Case Studies

Prentice Hall, 2nd edn