Hartmut Ehrig, Hans-Jörg Kreowski, James Thatcher, Eric Wagner, Jesse Wright: Parameter Passing in Algebraic Specification Languages. In Proc. Workshop on Program Specification (Aarhus, 1981), volume 134 of Lecture Notes in Computer Science, pages 322-369. Springer, 1982. (Draft version) also appeared in: Theoretical Computer Science Vol. 28, 45-81, 1984.
Hartmut Ehrig, Hans-Jörg Kreowski, Bernd Mahr, Peter Padawitz: Algebraic Implementation of Abstract Data Types. Theoretical Computer Science 20:209-263, 1982.
Hartmut Ehrig, Hans-Jörg Kreowski: Keywords in Context: An Algebraic Specification. In Proc. Workshop on Program Specification (Aarhus, 1981), volume 134 of Lecture Notes in Computer Science, pages 73-83. Springer, 1982.
Hartmut Ehrig, Hans-Jörg Kreowski: Parameter Passing Commutes with Implementation of Parameterized Data Types. In Proc. International Conference on Automata, Languages and Programming ICALP'82 (Aarhus), volume 140 of Lecture Notes in Computer Science, pages 197-211. Springer, 1982.
