著者: Werner Damm, David Harel - Formal Methods for Open Object-Based Distributed Systems 1999 被引用: 822
