"Edinburgh LCF: A Mechanized Logic of Computation (Lecture Notes in Computer Science)" - читать интересную книгу автора (M. Gordon, R. Milner, C.P. Wadsworth)