Semantic integration of heterogeneous formal specifications via transformation systems - Grosse-Rhode, Martin (Forschungsberichte des Fachbereichs Informatik, 2001)