Augmentation of Object-Oriented Programming by Concepts of Abstract Data Type Theory: The ModPascal Experience.

Walter G. Olthoff

Browse the full OOPSLA paper archive.