Martin P. Ward. Reverse Engineering through Formal Transformation: Knuths Polynomial Addition Algorithm. Comput. J., 37(9):795-813, 1994.
@article{Ward94:0,
title = {Reverse Engineering through Formal Transformation: Knuths Polynomial Addition Algorithm},
author = {Martin P. Ward},
year = {1994},
tags = {transformation engineering, reverse engineering, transformation},
researchr = {https://researchr.org/publication/Ward94%3A0},
cites = {0},
citedby = {0},
journal = {Comput. J.},
volume = {37},
number = {9},
pages = {795-813},
}