On "A Simple Protocol Whose Proof Isńt": The State Machine Approach | IEEE Journals & Magazine | IEEE Xplore