Recovery control of communicating processes in a distributed system - Wood, William G. (1980)