TY  - RPRT
TI  - Deriving Sorting Algorithms
AU  - José Bacelar Almeida
AU  - Jorge Sousa Pinto
PY  - 2008
UR  - https://arxiv.org/abs/0802.3881
ID  - 0802.3881
ER  -