A refinement of Vizing's theorem
E. Steffen, Discrete Mathematics 218 (2000) 289–291.