Flow of Control in the Proof Theory of Structured Programming

J. W. de Bakker

Browse the full FOCS paper archive.