Jan A. Bergstra, Jan Willem Klop. Algebraic Specifications for Parametrized Data Types with Minimal Parameter and Target Algebras. In Mogens Nielsen, Erik Meineche Schmidt, editors, Automata, Languages and Programming, 9th Colloquium, Aarhus, Denmark, July 12-16, 1982, Proceedings. Volume 140 of Lecture Notes in Computer Science, pages 23-34, Springer, 1982.
@inproceedings{BergstraK82:0,
title = {Algebraic Specifications for Parametrized Data Types with Minimal Parameter and Target Algebras},
author = {Jan A. Bergstra and Jan Willem Klop},
year = {1982},
tags = {data-flow, algebraic specification, algebra},
researchr = {https://researchr.org/publication/BergstraK82%3A0},
cites = {0},
citedby = {0},
pages = {23-34},
booktitle = {Automata, Languages and Programming, 9th Colloquium, Aarhus, Denmark, July 12-16, 1982, Proceedings},
editor = {Mogens Nielsen and Erik Meineche Schmidt},
volume = {140},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-11576-5},
}