"Java Subtype Tests in Real-Time."

Krzysztof Palacz, Jan Vitek (2003)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics