Edinburgh LCF : a mechanised logic of computation /
Michael J. Gordon, Arthur J. Milner, Christopher P. Wadsworth.
- Berlin : Springer-Verlag, 1979.
- viii, 159 p. ; 24 cm.
- Lecture notes in computer science 78. .
- Lecture notes in computer science 78. .
Includes bibliographical references (p. [153]-157) and index.