Andrew W. Appel, Trevor Jim. Shrinking lambda Expressions in Linear Time. Journal of Functional Programming, 7(5):515-540, 1997.
@article{AppelJ97, title = {Shrinking lambda Expressions in Linear Time}, author = {Andrew W. Appel and Trevor Jim}, year = {1997}, researchr = {https://researchr.org/publication/AppelJ97}, cites = {0}, citedby = {0}, journal = {Journal of Functional Programming}, volume = {7}, number = {5}, pages = {515-540}, }