Ann E. Kelley Sobel Neelam Soundararajan A Proof System for Distributed Processes. 305-332 1988 25 Acta Inf. 3 db/journals/acta/acta25.html#SobelS88