Michael P. Georgeff. Transformations and Reduction Strategies for Typed Lambda Expressions. ACM Transactions on Programming Languages and Systems, 6(4):603-631, 1984. [doi]
@article{Georgeff84:0, title = {Transformations and Reduction Strategies for Typed Lambda Expressions}, author = {Michael P. Georgeff}, year = {1984}, doi = {10.1145/1780.1803}, url = {http://doi.acm.org/10.1145/1780.1803}, tags = {transformation}, researchr = {https://researchr.org/publication/Georgeff84%3A0}, cites = {0}, citedby = {0}, journal = {ACM Transactions on Programming Languages and Systems}, volume = {6}, number = {4}, pages = {603-631}, }