Mathematical logic in computer science. [ca. 1981]. In B. Dömölki (Hrsg.), Colloquia mathematica Societatis János Bolyai [Book]. Amsterdam [u.a.]: North-Holland.
ISO-690 (author-date, English)DÖMÖLKI, B. (Hrsg.). Amsterdam [u.a.]: North-Holland. Colloquia mathematica Societatis János Bolyai, 26. ISBN 0444854401.
Modern Language Association 9th editionDömölki, B., Herausgeber. „Mathematical logic in computer science“. Colloquia mathematica Societatis János Bolyai, book, North-Holland, 1981.
Mohr Siebeck - Recht (Deutsch - Österreich): Mathematical logic in computer science, . Colloquia mathematica Societatis János Bolyai, Amsterdam [u.a.] 1981.
Emerald - HarvardDömölki, B. (Hrsg.). (1981), Mathematical logic in computer science, Colloquia mathematica Societatis János Bolyai, Bd. , North-Holland, Amsterdam [u.a.].