Certification of Algorithms 63, 64, 65: Partition, quicksort, find

• 1 August 1962
• journal article
• Published by Association for Computing Machinery (ACM) in Communications of the ACM
• Vol. 5  (8) , 439
• https://doi.org/10.1145/368637.368709

Abstract