E. Ernst, K. Ostermann, and W. Cook, “A Virtual Class Calculus”, DPB, vol. 34, no. 577, Jan. 2005.