A study of reliability of a program in distributed system - Tarar, Roshan Zamir (Animo Repository, 1995)