Abstract and behaviour module specifications

Felix Cornelius, Michael Baldamus, Hartmut Ehrig, Fernando Orejas. Abstract and behaviour module specifications. Mathematical Structures in Computer Science, 9(1):21-62, 1999.

Abstract

Abstract is missing.