@misc{indiciae88b654b9bbeb,
  title = {Deriving Sorting Algorithms},
  author = {José Bacelar Almeida and Jorge Sousa Pinto},
  year = {2008},
  url = {https://arxiv.org/abs/0802.3881},
  note = {Source identifier: 0802.3881}
}