Bruno Buchberger, Adrian Craciun,
"Algorithm Synthesis Case Studies: Sorting of Tuples by Lazy Thinking"
, Serie RISC Report Series, Nummer 04-16, RISC, University of Linz, Austria, 10-2004
Original Titel:
Algorithm Synthesis Case Studies: Sorting of Tuples by Lazy Thinking