Replicated distributed programs - Cooper, Eric C. (1985)