Resolving nondeterminism in distributed redundant systems - Mancini, Luigi V.; Pappalardo, Giuseppe (1987)