Hartmut Ehrig: Algebraic Theory of Parameterized Specifications with Requirements. CAAP 1981: 1-24