Abstract and behaviour module specifications (1993)

by Hartmut Ehrig, Fernando Orejas, Felix Cornelius, Michael Baldamus