Principles of Programming Languages. Engelwood Cliffs (1981)

by R D Tennent