Bruno Buchberger, Adrian Craciun,
"Preprocessed Lazy Thinking: Synthesis of Sorting Algorithms"
, Serie RISC Report Series, Nummer 04-17, RISC, University of Linz, Austria, 10-2004
Original Titel:
Preprocessed Lazy Thinking: Synthesis of Sorting Algorithms