Teaching Formal Methods - Gibbons, Jeremy; Kanade, Takeo; Oliveira, José Nuno; Kittler, Josef; Nuno Oliveira, Jose (Springer Berlin Heidelberg, 2009)