Palsberg, J.; Schwartzbach, M. I. What Is Type-Safe Code Reuse?. DPB 1990, 19.