Proofs and Algorithms häftadEngelska, 2011