Skip to main content

Proof of a Recursive Program: Quicksort

M. Foley and C.A.R. Hoare

Journal
BCS‚ Computer Journal
Month
November
Number
4
Pages
391–395
Volume
14
Year
1971