Arthur J. Milner books & textbook
Edinburgh LCF: A Mechanized Logic of Computation (Lecture Notes in Computer Science) 1979 edition by Gordon, M., Milner, R., Wadsworth, C.P. (1980) Paperback
Michael J. Gordon Arthur J. Milner Christopher P. Wadsworth
Springer /1979-01-01 Paperback
