H.-M. Järvinen, Reino Kurki-Suonio. DisCo specification language: marriage of actions and objects. In 10th International Conference on Distributed Computing Systems (ICDCS 1991), May 20-24, 1991, Arlington, Texas, USA. pages 142-151, IEEE Computer Society, 1991. [doi]
Abstract is missing.