Rosziati Ibrahim, Clemens A. Szyperski: Formalization of Component Object Model (COM) - The COMEL Language. ECOOP Workshops 1998: 558