Paulson, L. "Logic and Computation: Interactive Proof with Cambridge LCF", Cambridge U Press, 1987.

Languages mentioned

• Cambridge LCF {1982}
• PPLambda {1987}