J. C. Huang. Instrumenting Programs for Symbolic-Trace Generation. IEEE Computer, 13(12):17-23, 1980. [doi]
@article{Huang80-0, title = {Instrumenting Programs for Symbolic-Trace Generation}, author = {J. C. Huang}, year = {1980}, doi = {10.1109/MC.1980.1653453}, url = {http://doi.ieeecomputersociety.org/10.1109/MC.1980.1653453}, researchr = {https://researchr.org/publication/Huang80-0}, cites = {0}, citedby = {0}, journal = {IEEE Computer}, volume = {13}, number = {12}, pages = {17-23}, }