David Gries: The Schorr-Waite Graph Marking Algorithm. Program Construction 1978: 58-69