Mohamed G. Gouda D. Body W. Wood Global and Local Models for the Specification and Verification of Distributed Systems. 155- 1979 Berkeley Workshop db/conf/berkeley/berkeley79.html#GoudaBW79