Hartmut Ehrig: Parameterized Data Types and Parameter Passing. ADT 1982