Semantics of Programming Languages. Foundations of Computing (1992)

by C A Gunter