Links for software-analysis-and-design-i-lecture-notes-cuny-csci135