Process semantics for UML component specifications to assess inheritance
Electronic Notes in Theoretical Computer Science (2003) - Comments
doi: 10.1016/s1571-0661(04)80618-2  issn: 1571-0661 

E.E. Roubtsova, R. Kuiper