Kevin Lano. Transformational Program Analysis. Softw. Test., Verif. Reliab., 4(3):155-189, 1994.
@article{Lano94, title = {Transformational Program Analysis}, author = {Kevin Lano}, year = {1994}, tags = {program analysis, analysis, transformation, program transformation}, researchr = {https://researchr.org/publication/Lano94}, cites = {0}, citedby = {0}, journal = {Softw. Test., Verif. Reliab.}, volume = {4}, number = {3}, pages = {155-189}, }