Delta-4 : a generic architecture for dependable distributed computing / - Powell, D. (Springer-Verlag,, 1991)