TY  - BOOK
AU  - GORDON, MICHAEL J
TI  - EDINBURGH LCF: A MECHANISED LOGIC OF COMPUTATION (LECT NOTES,78)
SN  - NCST
U1  - 726 
PY  - 1979///
CY  - BERLIN
PB  - SV
ER  -