["Toward Comprehensive Specification of Distributed Systems",

G. Roman et al, Proc 7th Intl Conf on Distrib Comp Sys, IEEE

1987, pp. 282-289].