Demetrovics Janos Computer- aided specification techniques - Singapore World Scientific Pub 1985 - 114p. cm. - Series in computer science . Standard No.: 41099 Source: Textual Subjects--Topical Terms: Computer program languageComputer science Dewey Class. No.: D65,8(B)92, M5