"Compile-Time Analysis of Object-Oriented Programs."

Jan Vitek, R. Nigel Horspool, James S. Uhl (1992)
a service of Schloss Dagstuhl - Leibniz Center for Informatics