TY  - BOOK
AU  - Gordon,Michael J.C.
AU  - Milner,R.
AU  - Wadsworth,Christopher P.
TI  - Edinburgh LCF: a mechanised logic of computation 
T2  - Lecture notes in computer science
SN  - 0387097244 (pbk.)
PY  - 1979///
CY  - Berlin
PB  - Springer-Verlag
KW  - Edinburgh LCF (Computer system)
KW  - Computable functions
KW  - Data processing
N1  - Includes bibliographical references (p. [153]-157) and index
ER  -