PakCat catalogue record Computer-aided specification techniques By Demetrovics, János Bibliographic details ISBN9971978539 PublisherWorld Scientific Publication placeSingapore Publication year1985 LanguageEnglish Material typeBook Physical descriptionix, 114 p. Additional authorsKnuth, E. Radó, Péter. SubjectsSystem design., Computer-aided design.