Paulson, Lawrence C. "Interactive theorem proving with Cambridge LCF A user's manual" UCAM-CL-TR-80 November 1985

Languages mentioned

• Cambridge LCF {1982}
• LCF {1972} Logic for Computable Functions