Formale Grundlagen der Programmierung - e-kirja, Saksa, 2012