<hi xmlns="http://www.tei-c.org/ns/1.0" rend="bold">Ehrig, Hartmut / Mahr, Bernd / Große-Rhode, Martin / Cornelius, Felix / Zeitz, Philip</hi> (2001): <hi xmlns="http://www.tei-c.org/ns/1.0" rend="italic">Mathematisch-strukturelle Grundlagen der Informatik.</hi> Berlin: Springer.