Formal Specification and Verification of Distributed Systems. - Bo-Shoe Chen; Raymond T. Yeh (IEEE Trans. Software Eng., 1983)