2042	 Treesort Algorithm M	 The certification of an algorithm can take the form of a proof that the algorithm is correct. As an illustrative but practical example Algorithm TREESORT for sorting an array is proved correct. proof of algorithms debugging certification metatheory sorting in-place sorting
