TY  - BOOK
AU  - Paulson, Lawrence C.
TI  - Logic and Computation: Interactive Proof with Cambridge LCF
SN  - 0 521 39560 7
CY  - Cambridge
ER  -