"Integrating Inheritance and Synchronization in Ada9X."

Colin Atkinson, David Weller (1993)
a service of Schloss Dagstuhl - Leibniz Center for Informatics