The formal semantics of programming langages

Winskel