Kreowski, H.-J.; Montanari, U.; Orejas, F.; Rozenberg, G.; Taentzer, G.
Formal Methods in Software and Systems Modeling
Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday. Lecture Notes in Computer Science, Springer, Berlin Heidelberg, 3393(2005)
(Workgroup:
Theoretical Computer Science)