Hartmut Ehrig Michael Baldamus Felix Cornelius Fernando Orejas Theory of Algebraic Module Specification including Behavioral Semantics and Constraints. 145-172 1991 conf/amast/1991 AMAST db/conf/amast/amast1991.html#EhrigBCO91