Links for software-construction-lecture-notes-mit-6-005