Software Construction Readings for MIT sp18