Arthur P. Goldberg Transparent Recovery of Mach Applications. 169-184 1990 conf/mach/1990 USENIX MACH Symposium db/conf/mach/mach1990.html#Goldberg90