Daniel M. Yellin Robert E. Strom Protocol Specifications and Component Adaptors. 292-333 1997 19 ACM Trans. Program. Lang. Syst. 2 http://doi.acm.org/10.1145/244795.244801 db/journals/toplas/toplas19.html#YellinS97