Semantics of Programming Languages: Structures and Techniques (1992)

by C A Gunter