CSPS

"Toward Comprehensive Specification of Distributed Systems", G. Roman et al, Proceedings of the 7th International Conference on Distributed Computing Systems, IEEE 1987, pp.282-289.