Reading list: semantics