A Symbolic Calculator for Non-Strict Functional Programs

Doug Goldson. A Symbolic Calculator for Non-Strict Functional Programs. Comput. J., 37(3):177-187, 1994.