Stichting Mathematisch Centrum
Stichting Mathematisch Centrum. Informatica

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