Semantics and Proof Theory of Pascal Procedures.

Krzysztof R. Apt, J. W. de Bakker

Browse the full ICALP paper archive.