Proc 7th Intl Conf on Distrib Comp Sys, IEEE 1987
(1987)
Roman, G. et al, (1987)
Roman, G. et al, "Toward Comprehensive Specification of Distributed Systems"