Reasoning About Inheritance and Unrestricted Reuse in Object-Oriented Concurrent Systems.

Olaf Owe

Browse the full IFM paper archive.