M. P. Ward. Program Analysis by Formal Transformation. Comput. J., 39(7):598-618, 1996.
@article{Ward96, title = {Program Analysis by Formal Transformation}, author = {M. P. Ward}, year = {1996}, tags = {program analysis, analysis, transformation, program transformation}, researchr = {https://researchr.org/publication/Ward96}, cites = {0}, citedby = {0}, journal = {Comput. J.}, volume = {39}, number = {7}, pages = {598-618}, }