Victoria Markstein, Peter W. Markstein, John Cocke. Optimization of range checking (with retrospective). In Kathryn S. McKinley, editor, 20 Years of the ACM SIGPLAN Conference on Programming Language Design and Implementation 1979-1999, A Selection. pages 58-65, ACM, 1982. [doi]