Douglas L. Long, Lori A. Clarke: Data Flow Analysis of Concurrent Systems that Use the Rendezvous Model of Synchronization. Symposium on Testing, Analysis, and Verification 1991: 21-35