"Semantics and Proof Theory of Pascal Procedures."

Krzysztof R. Apt, J. W. de Bakker (1977)
a service of Schloss Dagstuhl - Leibniz Center for Informatics