Mathai Joseph Abha Moitra Neelam Soundararajan Proof Rules for Fault Tolerant Distributed Programs. 43-67 1987 8 Sci. Comput. Program. 1 db/journals/scp/scp8.html#JosephMS87