Proof of a Recursive Program: Quicksort

Podrobná bibliografie
Hlavní autoři: Foley, M, Hoare, C
Médium: Journal article
Vydáno: 1971