Tony Hoare

1934–

Quicksort; Hoare logic.

Charts
Quicksort