Jean-Luc Remy, Paulo A. S. Veloso. Comparing data type specifications via their normal forms. International Journal of Parallel Programming, 11(3):141-153, 1982. [doi]
@article{RemyV82,
title = {Comparing data type specifications via their normal forms},
author = {Jean-Luc Remy and Paulo A. S. Veloso},
year = {1982},
doi = {10.1007/BF00999725},
url = {http://dx.doi.org/10.1007/BF00999725},
researchr = {https://researchr.org/publication/RemyV82},
cites = {0},
citedby = {0},
journal = {International Journal of Parallel Programming},
volume = {11},
number = {3},
pages = {141-153},
}