Denotacyjny opis języków programowania; Zarys teorii równań stałopunktowych semantyki denotacyjnej;
Card's contents:713,064 GORDON MICHAEL J. C. Denotacyjny opis języków programowania / Michael J. C. Gordon. Wydanie polskie uzupełnione dodatkiem pt. „Zarys teorii równań stałopunktowych semantyki denotacyjnej" napisanym przez Andrzeja J. Bliklego ; z ang. przeł. Andrzej Terlecki. - Warszawa : Wydaw. Naukowo-Techniczne, 1983. - 209, /3/ s.; 24 cm (Biblioteka Inżynierii Oprogramowania) ISBN 83-204-0558-0