Formal methods in software and systems modeling essays dedicated to hartmut ehrig on the occasion of his 60th birthday - Kreowski, Hans-Jorg (Lecture Notes in Computer Science, 2005)