Edinburgh LCF : a mechanised logic of computation - Gordon, Michael J. C., 1948-; Milner, R. (Robin), 1934-; Wadsworth, Christopher P. (Berlin : Springer-Verlag, 1979)
Includes bibliographical references (p. [153]-157) and index.
Keywords: Edinburgh LCF (Computer system).; Computable functions -- Data processing