ERNST, E.; OSTERMANN, K.; COOK, W. A Virtual Class Calculus. DAIMI Report Series, v. 34, n. 577, 1 Jan. 2005.