Elspeth Cusack
-
Inheritance of interface specifications (extended abstract)
IDL '94 Proceedings of the workshop on Interface definition languages
From dynamic super types to subjects: a natural way to specify and develop systems
IBM Systems Journal
Review: Formal description of distributed multimedia systems: an assessment of potential techniques
Computer Communications
From ODP viewpoint consistency to Integrated Formal Methods
Computer Standards & Interfaces