Byzantine Protocols -- Self-stabilization with r-Operators Revisited --