Reliable computing (Springer Netherlands, 1996)