Athas, William C. (1983) A VLSI Combinator Reduction Engine. Master's thesis, California Institute of Technology. https://resolver.caltech.edu/CaltechTHESIS:03262012-092805759