Comment on London's Certification of Algorithm 245 CACM January, 1971 Redish, K. A. proof of algorithms, debugging, certification, metatheory, sorting, in-place sorting 4.42 4.49 5.24 5.31 CA710112 JB February 8, 1978 10:19 AM 2021 4 2222 2042 4 2222 2222 4 2222 2222 4 2222 2222 4 2222 2222 4 2222 2222 4 2222 2227 4 2222 2315 4 2222 2326 4 2222 2356 4 2222 2470 4 2222 2679 4 2222 2679 4 2222 2732 4 2222 2844 4 2222 2865 4 2222 2896 4 2222 2943 4 2222 2972 4 2222 3014 4 2222 3068 4 2222 3077 4 2222 3143 4 2222 970 5 2222 1800 5 2222 1818 5 2222 1834 5 2222 2042 5 2222 2222 5 2222 2222 5 2222 2222 5 2222