José Bacelar Almeida Jorge Sousa Pinto Deriving Sorting Algorithms http://arxiv.org/abs/0802.3881 2008 CoRR abs/0802.3881 db/journals/corr/corr0802.html#abs-0802-3881 informal publication