Logic and computation interactive proof with Cambridge LCF - Paulson, Lawrence C. (Cambridge Cambridge University Press, 1987)
Keywords: Computable Functions--Data Processing; Cambridge Clf (Computer System)