Title: Reader's Guide to Classic Papers in Formal Semantics