Hartmut Ehrig Algebraic Theory of Parameterized Specifications with Requirements. 1-24 1981 conf/caap/1981 CAAP db/conf/caap/caap81.html#Ehrig81 http://dx.doi.org/10.1007/3-540-10828-9_51