Jan A. Bergstra, Jan Willem Klop, J. V. Tucker. Algebraic Tools for System Construction. In Edmund M. Clarke, Dexter Kozen, editors, Logics of Programs, Workshop, Carnegie Mellon University, Pittsburgh, PA, USA, June 6-8, 1983, Proceedings. Volume 164 of Lecture Notes in Computer Science, pages 34-44, Springer, 1983.
@inproceedings{BergstraKT83,
title = {Algebraic Tools for System Construction},
author = {Jan A. Bergstra and Jan Willem Klop and J. V. Tucker},
year = {1983},
tags = { algebra},
researchr = {https://researchr.org/publication/BergstraKT83},
cites = {0},
citedby = {0},
pages = {34-44},
booktitle = {Logics of Programs, Workshop, Carnegie Mellon University, Pittsburgh, PA, USA, June 6-8, 1983, Proceedings},
editor = {Edmund M. Clarke and Dexter Kozen},
volume = {164},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-12896-4},
}