Semantics of Programming Languages: Structures and Techniques. Foundations of Computing Series (1992)

by C Gunter