M. Cecilia Bastarrica, Steven A. Demurjian, Alexander A. Shvartsman. Comprehensive Specification of Distributed Systems Using I5 and IOA. In 20st International Conference of the Chilean Computer Science Society (SCCC 2000), 16-18 November 2000, Santiago, Chile. pages 74-82, IEEE Computer Society, 2000. [doi]
Abstract is missing.