Aiello, Luigia Aiello, Mario and Weyhrauch, Richard W. "The semantics of PASCAL in LCF." CS-TR-74-447 Department of Computer Science Stanford University August 1974

Languages mentioned

• LCF {1972} Logic for Computable Functions