Stichting Mathematisch Centrum
Stichting Mathematisch Centrum. Informatica

de Roever, W. P. (1973). Operational and mathematical semantics for recursive polyadic program schemata (extended abstract) : (proceedings of Symposium and summer school mathematical foundations of computer science, High Tatras, 03-08.09.1973, p 293-298). In Stichting Mathematisch Centrum. Informatica (IW 6/73). Stichting Mathematisch Centrum.