Semantics of Programming Languages—Structures and Techniques (1992)

by C A Gunter