Formal Semantics by Paul Portner & Paul H. Portner