The following are courses I am, or have been, involved in at the Eindhoven University of Technology: SET seminar (2IPM00, formerly 2IS95); Software Specification (2IW05); OGO 2.2 Software Specification (2IO35).