Mathematisch-strukturelle Grundlagen der Informatik

by Hartmut Ehrig, Bernd Mahr, F. Cornelius, Martin Große-Rhode, P. Zeitz