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
M. Foley and C.A.R. Hoare