Doug Goldson. A Symbolic Calculator for Non-Strict Functional Programs. Comput. J., 37(3):177-187, 1994.
@article{Goldson94, title = {A Symbolic Calculator for Non-Strict Functional Programs}, author = {Doug Goldson}, year = {1994}, tags = {functional programming}, researchr = {https://researchr.org/publication/Goldson94}, cites = {0}, citedby = {0}, journal = {Comput. J.}, volume = {37}, number = {3}, pages = {177-187}, }