Mitchell Wand. Specifying the Correctness of Binding-Time Analysis. Journal of Functional Programming, 3(3):365-387, 1993.
@article{Wand93:0,
title = {Specifying the Correctness of Binding-Time Analysis},
author = {Mitchell Wand},
year = {1993},
tags = {analysis},
researchr = {https://researchr.org/publication/Wand93%3A0},
cites = {0},
citedby = {0},
journal = {Journal of Functional Programming},
volume = {3},
number = {3},
pages = {365-387},
}