Formal Semantics: The Essential Readings