Richard E. Ladner John H. Reif The Logic of Distributed Protocols. 207-222 1986 conf/tark/1986 TARK db/conf/tark/tark1986.html#LadnerR86