Ralph E. Johnson Fred B. Schneider Symmetry and Similarity in Distributed Systems. 13-22 1985 PODC db/conf/podc/podc85.html#JohnsonS85