Logic and Automata - heftet, Engelsk, 2007