ACAR, U. Selective Memoization. Proc. Principles of Programming Languages (POPL 2003). 2003, 14-25
BIRD, R. Introduction to Functional Programming using Haskell. 1998
BURTON, F. Encapsulating Non-determinacy in an Abstract Data Type with Determinate Semantics. J. Functional Programming. 1991, 1, 1, 3-20
IWASAKI, H. Pruning Unnecessary Computations using Improving Sequences. Proc. 3rd Asian Workshop on Programming Languages and Systems, 2002. 2002, 46-57
JONES, S. The Implementation of Functional Programming Languages. 1987