Ernst, E., K. Ostermann, and W. Cook. “A Virtual Class Calculus”. DAIMI Report Series, vol. 34, no. 577, Jan. 2005, doi:10.7146/dpb.v34i577.7225.