Mathematisch-strukturelle Grundlagen der Informatik

by Hartmut Ehrig, Bernd Mahr, Felix Cornelius, Martin Große-Rhode