Exorciser: Automatic generation and interactive grading of structured excercises in the theory of computation. - Vincent Tscherter (2004)