Jayadev Misra David Gries A Constructive Proof of Vizing's Theorem. 131-133 1992 41 Inf. Process. Lett. 3 db/journals/ipl/ipl41.html#MisraG92 http://dx.doi.org/10.1016/0020-0190(92)90041-S