An approach to verification of communication in distributed computing system software. - Stephen S. Yau; Kris W. I. Chen (ICDCS, 1989)