How to Deliver the Right Software (Specification by example)
SOLVING SUDOKU Graham Hutton University of Nottingham (with thanks to Richard Bird)