Burch, Jerry R. (1988) A comparison of strict and non-strict semantics for lists. Master's thesis, California Institute of Technology. https://resolver.caltech.edu/CaltechTHESIS:03262012-113851465