Robert Melville David Gries Controlled Density Sorting. 169-172 1980 10 Inf. Process. Lett. 4/5 db/journals/ipl/ipl10.html#MelvilleG80