Hayes, Ian — SPECIFICATION CASE STUDIES.

Hertfordshire, Prentice Hall International, 1993. 2nd edition 288 pages. Pb . With contributions by: Bill Flinn, Roger Gimson, Steve King, Carroll Morgan, Ib Holm Sorensen, Bernard Sufrin. Series of case studies in formal specification written in the specification notation Z. Divided into four parts: tutorials, sofware engineering, distrubuted computing and transaction processing the book illustrates how to make use of the Z notation in practice. Name formal owner. Spine slighty suntanned. Otherwise very nice and clean copy.