Jan A. Bergstra, Jan Willem Klop. Initial Algebra Specifications for Parametrized Data Types. Elektronische Informationsverarbeitung und Kybernetik, 19(1/2):17-31, 1983.
@article{BergstraK83,
title = {Initial Algebra Specifications for Parametrized Data Types},
author = {Jan A. Bergstra and Jan Willem Klop},
year = {1983},
tags = {data-flow, algebraic specification, algebra},
researchr = {https://researchr.org/publication/BergstraK83},
cites = {0},
citedby = {0},
journal = {Elektronische Informationsverarbeitung und Kybernetik},
volume = {19},
number = {1/2},
pages = {17-31},
}