Stichting Mathematisch Centrum
Stichting Mathematisch Centrum. Informatica

de Bakker, J. (1975). Flow of control in the proof theory of structured programming : (prepublicationn). Stichting Mathematisch Centrum. Informatica. Stichting Mathematisch Centrum.