Analytic Models for Rollback and Recovery Strategies in Data Base Systems. - K. Mani Chandy; James C. Browne; Charles W. Dissly; Werner R. Uhrig (IEEE Trans. Software Eng., 1975)