C. J. Kooken Algebraic Specification and Verification of Communicating Protocols. 1-36 1985 5 Sci. Comput. Program. 1 db/journals/scp/scp5.html#Kooken85