Robert Cypher Eric Leu Repeatable and Portable Message-Passing Programs. 22-31 1994 PODC db/conf/podc/podc94.html#CypherL94