1. An Introduction to Programming and Problem Solving With Pascal;Schneider,1982
2. G: a language based on demand-driven stream evaluations;Placer;Ph.D. dissertation at Oregon State University,1988
3. Programming styles in Nial;Jenkins;IEEE Software,1986
4. Pattern driven lazy reduction: a unifying evaluation mechanism for functional and logic programs;Subrahmanyam,1984
5. Logic Programming: Functions, Relations and Equations,1986