Chin-Liang Chang, Richard C. T. Lee, John K. Dixon. The Specialization of Programs by Theorem Proving. SIAM Journal on Computing, 2(1):7-15, 1973.
@article{ChangLD73, title = {The Specialization of Programs by Theorem Proving}, author = {Chin-Liang Chang and Richard C. T. Lee and John K. Dixon}, year = {1973}, tags = {C++}, researchr = {https://researchr.org/publication/ChangLD73}, cites = {0}, citedby = {0}, journal = {SIAM Journal on Computing}, volume = {2}, number = {1}, pages = {7-15}, }