Lambda Calculus Models of Programming Languages (1968)

by James H Morris