Mitchell Wand. Specifying the Correctness of Binding-Time Analysis. In Proceedings of the 20th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. pages 137-143, 1993.
@inproceedings{Wand93, title = {Specifying the Correctness of Binding-Time Analysis}, author = {Mitchell Wand}, year = {1993}, tags = {analysis}, researchr = {https://researchr.org/publication/Wand93}, cites = {0}, citedby = {0}, pages = {137-143}, booktitle = {Proceedings of the 20th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages}, }