Algebraische Spezifikation abstrakter Datentypen - e-kirja, Saksa, 2013