Eric Gascard Laurence Pierre Formal Proof of Applications Distributed in Symmetric Interconnection Networks. 3-18 2003 13 Parallel Processing Letters 1 http://dx.doi.org/10.1142/S0129626403001094 db/journals/ppl/ppl13.html#GascardP03