["Toward Comprehensive Specification of Distributed Systems", G. Roman et al, Proc 7th Intl Conf on Distrib Comp Sys, IEEE 1987, pp. 282-289].

In addition suitable contents:
[ 2 ] [ al ] [ an ] [ ar ] [ at ] [ b ] [ C ] [ ca ] [ cat ] [ ci ] [ D ] [ E ] [ ec ] [ ed ] [ eh ] [ et ] [ fi ] [ G ] [ h ] [ IE ] [ IEEE ] [ io ] [ is ] [ ma ] [ man ] [ mp ] [ ms ] [ nf ] [ ns ] [ om ] [ pe ] [ pr ] [ re ] [ ro ] [ S ] [ si ] [ Spec ] [ st ] [ T ] [ th ] [ tr ] [ ve ]