Ole Lehrmann Madsen Semantic Analysis of Virtual Classes and Tested Classes. 114-131 1999 OOPSLA http://doi.acm.org/10.1145/320384.320394 db/conf/oopsla/oopsla99.html#Madsen99