Proof of a Recursive Program: Quicksort. - M. Foley; C. A. R. Hoare (Comput. J., 1971)

A Framework to Guide the Strategic Manager in the Acquisition of Software Development Technologies. - M. Foley; Albert Alderson; Hanifa Shah (ICEIS, 2000)