Bertran, et al.. An Input/output Semantics for Distributed Program Equivalence Reasoning. Elsevier BV, 2005, doi:10.1016/j.entcs.2005.01.038.