A fault-tolerant server on MACH. - S Arévalo; Jesús Carretero 001; J. L. Castellanos; F. Barco (Microprocess. Microprogramming, 1993)