Reading list: Working out with Semantics