J. Palsberg and M. I. Schwartzbach, “What is Type-Safe Code Reuse?”, DPB, vol. 19, no. 342, Dec. 1990.