A Formal Model of Object-Oriented Design and GoF Design Patterns.

Andres Flores, Richard Moore, Luis Reynoso

Browse the full FM paper archive.