Vitalsource Technologies, Inc. A Reader's Guide To Classic Papers In Formal Semantics