Implementation and decomposition of quicksort in C/C++ and discrete mathematics.