Theory of Algebraic Module Specification including Behavioral Semantics and Constraints

@inproceedings{Ehrig1991TheoryOA,
  title={Theory of Algebraic Module Specification including Behavioral Semantics and Constraints},
  author={Hartmut Ehrig and Michael Baldamus and Felix Cornelius and Fernando Orejas},
  booktitle={AMAST},
  year={1991}
}