Hierarchical Specification of Parameterized Abstract Data Types by Means of Canonical Term Algebras.

Christoph Beierle Angi Voß Hierarchical Specification of Parameterized Abstract Data Types by Means of Canonical Term Algebras. 1982 ADT db/conf/adt/adt1982.html#BeierleV82