Foundations for Programming Languages

Book by John C. Mitchell