Modular redundancy in a message passing system - Mancini, Luigi V. (1985)