Semantics of Programming Languages door Carl A. Gunter