Images for Fundamentals of algebraic specification Hartmut Ehrig, Bernd Mahr