The formal semantics of programming languages : - Winskel, G. (Glynn) (Foundations of computing, 1993)