The Semantics of PASCAL in LCF. AIM-221.

purl.stanford.edu/gd461tw3281