"Optimization of Range Checking."

Victoria Markstein, John Cocke, Peter W. Markstein (1982)
a service of Schloss Dagstuhl - Leibniz Center for Informatics