Use of a functional programming model in fault tolerant parallel processing. - Richard E. Harper; Gail Nagle; Martin A. Serrano (FTCS, 1989)