Reading list: SMT 5