The Logic of Distributed Protocols.

Richard E. Ladner, John H. Reif

Browse the full TARK paper archive.