Athas, William C. (1983) A VLSI Combinator Reduction Engine (Thesis (Masters)), California Institute of Technology doi: 10.7907/r471-je71
