Henglein, Fritz: What is a Sorting Function?. In: Journal of Logic and Algebraic Programming, 78 (2009), Nr. 7