"A Simple Characterization of Uniform Boundedness for a Class of Recursions."

Jeffrey F. Naughton, Yehoshua Sagiv (1991)
a service of Schloss Dagstuhl - Leibniz Center for Informatics