Local Specification of Distributed Families of Sequential Objects.

Hans-Dieter Ehrich Amílcar Sernadas Local Specification of Distributed Families of Sequential Objects. 219-235 1994 conf/compass/1994 COMPASS/ADT db/conf/compass/compass94.html#EhrichS94