FM 2005: Formal Methods - heftet, Engelsk, 2005