Mathematisch-strukturelle Grundlagen der Informatik - Hartmut Ehrig; Bernd Mahr; Felix Cornelius; Martin Große-Rhode; Philip Zeitz (Mathematisch-strukturelle Grundlagen der Informatik, 1999)

Mathematisch-strukturelle Grundlagen der Informatik, 2. Auflage - Hartmut Ehrig; Bernd Mahr; Martin Große-Rhode; Felix Cornelius; Philip Zeitz (Mathematisch-strukturelle Grundlagen der Informatik, 2. Auflage, 2001)