The Semantics of PASCAL in LCF. AIM-221