Specification case studies /
Hayes, Ian,1956-
Flinn, Bill.
Englewood Cliffs London Prentice-Hall International
c1987
Includes bibliographies and index
Electronic digital computers