Formal methods for open object-based distributed systems - Najm, Elie.; Stefani, Jean. (London Chapman & Hall, 1997)
Keywords: Object-oriented programming (Computer science) -- Congresses; Electronic data processing -- Distributed processing -- Congresses