Logic and Computation:Interactive Proof with Cambridge LCF (1987)

by L C Paulson