A class of fault-masking protocols with reduced redundant communication - Echtle, Klaus (Universität <Karlsruhe>, 1985)