Doug Goldson A Symbolic Calculator for Non-Strict Functional Programs. 177-187 1994 37 Comput. J. 3 db/journals/cj/cj37.html#Goldson94 http://dx.doi.org/10.1093/comjnl/37.3.177