Zohar Manna, Amir Pnueli. Formalization of Properties of Functional Programs. Journal of the ACM, 17(3):555-569, 1970. [doi]
@article{MannaP70, title = {Formalization of Properties of Functional Programs}, author = {Zohar Manna and Amir Pnueli}, year = {1970}, doi = {10.1145/321592.321606}, url = {http://doi.acm.org/10.1145/321592.321606}, tags = {functional programming}, researchr = {https://researchr.org/publication/MannaP70}, cites = {0}, citedby = {0}, journal = {Journal of the ACM}, volume = {17}, number = {3}, pages = {555-569}, }