Verification of the Deutsch-Schorr-Waite Graph Marking Algorithm using Data Refinement by Viorel Preoteasa and Ralph-Johan Back May 28