1. Cann, D. C. Compilation Techniques for High Performance Applicative Computation. Ph.D. thesis, Department of Computer Science, Colorado State University, 1989.
2. Subroutines for envelope solution of sparse linear Systems;Eisenstat,1974
3. The Art of Computer Programming, Vol. 1: Fundamental Algorithms;Knuth,1973
4. Sisal: Streams and iterations in a single-assignment language, Language Reference Manual Version 1.1;McGraw,1983
5. Sisal: Streams and iterations in a single-assignment language, Language Reference Manual, Version 1.2;McGraw,1985