Semantics of programming languages : structures and techniques - Gunter, Carl A. (Foundations of computing series, 1992)