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