Interconnection of Object Specifications (1996)

by Grant Malcolm
Venue:Formal Methods and Object Technology