"Principles of Programming Languages (Prentice Hall International Series in Computing Science) " - читать интересную книгу автора (R. D. Tennent)