LATIN 2012: Theoretical Informatics - e-kirja, Englanti, 2012