The Format semantics of programming Languages: an introduction /cGlynn Winskel. - Winskel, Glynn. (Foundations of Computing., 1993)