Hartmut Ehrig: Combined Algebraic Specification Techniques for Concurrent and Distributed Systems. GI Jahrestagung 1993: 528-533