An Eiffel Development of SUDOKU, using Design by Contract