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.
@inproceedings{MollerTW87,
title = {Algebraic Specifications of Reachable Higher-Order Algebras},
author = {Bernhard Möller and Andrzej Tarlecki and Martin Wirsing},
year = {1987},
tags = {algebraic specification, algebra},
researchr = {https://researchr.org/publication/MollerTW87},
cites = {0},
citedby = {0},
pages = {154-169},
booktitle = {Recent Trends in Data Type Specification, 5th Workshop on Abstract Data Types, Gullane, Scotland, September 1-4, 1987, Selected Papers},
editor = {Donald Sannella and Andrzej Tarlecki},
volume = {332},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
}