1. J Backus Can Programming be liberated from the von Neumann style? Comm ACM 21 p613–41
2. F W Burton Annotations to Control Paralleism and Reduction Order Control in the distributed evaluation of Functional Programs (Preprint)
3. F W Burton and M R Sleep Executing Functional Programs on a Virtual Tree of Processors Proc. Conf. Functional Programming Languages and Computer Architecture
4. J A Campbell SISGAM Problem #2: The Y2n Problem SIGSAM Bulletin 22 p8–9
5. T J W Clarke, P J S Gladstone, C D McLean and A C Norman SKIM — The S. K. I Reduction Machine Proc. 1980 LISP Conference p128–135