Eric C. R. Hehner C. A. R. Hoare A More Complete Model of Communicating Processes. 105-120 1983 26 Theor. Comput. Sci. db/journals/tcs/tcs26.html#HehnerH83