Bernhard Möller, Andrzej Tarlecki, Martin Wirsing. Algebraic Specifications of Reachable Higher-Order Algebras. In Donald Sannella, Andrzej Tarlecki, editors, Recent Trends in Data Type Specification, 5th Workshop on Abstract Data Types, Gullane, Scotland, September 1-4, 1987, Selected Papers. Volume 332 of Lecture Notes in Computer Science, pages 154-169, Springer, 1987.
Abstract is missing.