Semantics programming languages: Structures and techniques. Foundation of computing (1993)

by C A Gunter