Proof of a Recursive Program: Quicksort

Bibliografische gegevens
Hoofdauteurs: Foley, M, Hoare, C
Formaat: Journal article
Gepubliceerd in: 1971