The semantics of PASCAL in LCF

purl.stanford.edu/bx699pp9793