Safely creating correct subclasses without seeing superclass code.

Clyde Ruby, Gary T. Leavens

Browse the full OOPSLA paper archive.