J. W. de Bakker

• Flow of control in the proof theory of structured programming