Replicated Distributed Programs (1985)

by E Cooper