1. Lect Notes Comput Sci;A. Beaumont,1991
2. K. J. Berkling Reduction Languages for Reduction Machines Proceedings 2nd Annual International Symposium on Computer Architecture, ACM/IEEE 75CH0916-7C 1975, pages 133–140
3. Lect Notes Comput Sci;T. Bülck,1994
4. H. Bloedorn and W. E. Kluge. Organizing Speculative Computations in the Reduction System π-red.. In Proc. WorkshopPar allel-Algorithmen und Rechnerstrukturen, pages 138–152. Mitteilungen der GI ISSN 0177-0454, 1992.
5. Iain G. Checkland. Speculative Concurrent Evaluation in a Lazy Functional Language. PhD thesis, University of York, Department of Computer Science, 1994.