The formal semantics of programming languages : an introduction - Winskel, Glynn (Foundations of computing series, 1993)