"Instrumentation of standard libraries in object-oriented languages: the ..."

Michael Factor, Assaf Schuster, Konstantin Shagin (2004)
a service of Schloss Dagstuhl - Leibniz Center for Informatics