Widok standardowy
Widok MARC
International Conference on the Mathematics of Program Construction (2 ; 1992 ; Oksford). (Hasło imprezy/wydarzenia)
Kp. Mathematics of program construction / R. S. Bird, C. C. Morgan, J. C. P. Woodcock (eds.). - Berlin, 1993. S. tyt. i przedm. (second international conference, Oxford, U.K., June 29 - July 3, 1992, International Conference on the Mathematics of Program Construction)
LCC online