The 3B20D Processor & DMERT operating systems: Fault detection and recovery. - Robert C. Hansen; R. W. Peterson; N. O. Whittington (Bell Syst. Tech. J., 1983)