U. P. Schultz, “Partial Evaluation for Class-Based Object-Oriented Languages”, DPB, vol. 29, no. 552, Nov. 2000.