Jan A. Bergstra, John V. Tucker. On the adequacy of finite equational methods for data type specification. SIGPLAN Notices, 14(11):13-18, 1979. [doi]
@article{BergstraT79-0,
title = {On the adequacy of finite equational methods for data type specification},
author = {Jan A. Bergstra and John V. Tucker},
year = {1979},
doi = {10.1145/988056.988058},
url = {https://doi.org/10.1145/988056.988058},
researchr = {https://researchr.org/publication/BergstraT79-0},
cites = {0},
citedby = {0},
journal = {SIGPLAN Notices},
volume = {14},
number = {11},
pages = {13-18},
}