This online book contains extra notes for Software Analysis and Design (CPSY-200).