Harald-Reto Fonio, Adam Pawlak. Rule-based synthesis using ADTs and term rewriting. Journal of Systems Architecture, 34(1-5):81-84, 1992. [doi]
@article{FonioP92,
title = {Rule-based synthesis using ADTs and term rewriting},
author = {Harald-Reto Fonio and Adam Pawlak},
year = {1992},
doi = {10.1016/0165-6074(92)90107-I},
url = {https://doi.org/10.1016/0165-6074(92)90107-I},
researchr = {https://researchr.org/publication/FonioP92},
cites = {0},
citedby = {0},
journal = {Journal of Systems Architecture},
volume = {34},
number = {1-5},
pages = {81-84},
}