Jan K. Pachl Analysis of Toggle Protocols. 25-35 1991 5 Distributed Computing db/journals/dc/dc5.html#Pachl91