Formal Lecture Series: Workbooks