Reasoning about Object-Oriented Programs that Use Subtypes.

Gary T. Leavens, William E. Weihl

Browse the full OOPSLA paper archive.