Title: A single-pass algorithm for eliminating constraint checks in Ada programs
First published: 1988