Refactoring Object-Oriented Specifications with Inheritance-Based Polymorphism.

Graeme Smith, Steffen Helke

Browse the full TASE paper archive.