Felix Cornelius Michael Baldamus Hartmut Ehrig Fernando Orejas Abstract and behaviour module specifications. 21-62 1999 9 Mathematical Structures in Computer Science 1 db/journals/mscs/mscs9.html#CorneliusBEO99