1. R M Keller, F C H Lin, “Simulated Performance of a Reduction-Based Multiprocessor”, IEEE Computer, Vol. 17: 7, 70–82, July, 1984.
2. R M Keller, F C H Lin, P R Badovinatz, “The Rediflow Simulator”, Dept. of Computer Science, University of Utah, 1982.
3. I Watson, “Simulation of a Physical EDS Machine Architecture”, Dept. of Computer Science, University of Manchester, Sept, 1989.
4. D R Lester, G L Burn, “An Executable Specification of the HDG-Machine”, GEC Hirst Research Centre, Nov, 1989.
5. G L Burn, C L Hankin, S Abramsky, “Strictness Analysis for Higher-Order Functions”, Science of Computer Programming, Vol 7, 249–278, Nov, 1986.