Joseph A. Goguen, José Meseguer. Order-Sorted Algebra solves the Constructor-Selector, Multiple. In Proceedings, Symposium on Logic in Computer Science, 22-25 June 1987, Ithaca, New York, USA. pages 18-29, IEEE Computer Society, 1987.
@inproceedings{GoguenM87:0,
title = {Order-Sorted Algebra solves the Constructor-Selector, Multiple},
author = {Joseph A. Goguen and José Meseguer},
year = {1987},
tags = { algebra},
researchr = {https://researchr.org/publication/GoguenM87%3A0},
cites = {0},
citedby = {0},
pages = {18-29},
booktitle = {Proceedings, Symposium on Logic in Computer Science, 22-25 June 1987, Ithaca, New York, USA},
publisher = {IEEE Computer Society},
}