How Can Covariance in Pragmatical Class Methods be Made Statically Type-Safe?

Axel Schmolitzky, Mark Evered, James Leslie Keedy, Gisela Menger. How Can Covariance in Pragmatical Class Methods be Made Statically Type-Safe?. In TOOLS Pacific 1999: 32nd International Conference on Technology of Object-Oriented Languages and Systems, 22-25 November 1999, Melbourne, Australia. pages 200-209, IEEE Computer Society, 1999. [doi]