Authors: Werner Damm, David Harel - Formal Methods for Open Object-Based Distributed Systems 1999 cited by 822
