Proof of a Recursive Program: Quicksort

Бібліографічні деталі
Автори: Foley, M, Hoare, C
Формат: Journal article
Опубліковано: 1971