Comments on "Self-Stabilizing Programs: The Fault-Tolerant Capability of Self-Checking Programs" | IEEE Journals & Magazine | IEEE Xplore