R-j Back, L Mannila, P Sibelus and M Peltomäki: Structured derivations: A logic based
approach to teaching mathematics. Formed 2008
R-J Back, L Mannila and J Eriksson: Teaching the Construction of Correct Programs Using
Invariant Based Programming. SEEFM 2007
IMPEd Resource Centre
Lecture slides will be provided after the tutorial.