Semantics of Programming Languages: Structures and Techniques (1992)

by A Gunter