Hayes Ian Ed. Specification case studies Hayes Ian Ed. - Englewood Cliffs Prentice-Hall 1987 - 331p. cm. - Prentice-Hall international series in computer science . Standard No.: 43721 Source: Textual Subjects--Topical Terms: Computer program languageComputer science Dewey Class. No.: D65,8(B)92, M7