1. Algorithm 63: partition
2. C. A. R. Hoare. 1961. A Method of Synthesizing Sentences in Machine Translation on the Basis of Syntagmatic Analysis (Об одном способе осуществления синтеза предложения при МП на основе синтагматического анализа). Foreign Develop. Mach. Translat. Info. Proc. No. 95 (Translated from Mashinnii Perevod i Prikladnaya Linguistika No. 6 80–88). C. A. R. Hoare. 1961. A Method of Synthesizing Sentences in Machine Translation on the Basis of Syntagmatic Analysis (Об одном способе осуществления синтеза предложения при МП на основе синтагматического анализа). Foreign Develop. Mach. Translat. Info. Proc. No. 95 (Translated from Mashinnii Perevod i Prikladnaya Linguistika No. 6 80–88).
3. Yu. Ya. Basilevskii (Ed.). 1961. Theory of Mathematical Machines. Translated from Russian by C. A. R. Hoare. Pergamon Press. Yu. Ya. Basilevskii (Ed.). 1961. Theory of Mathematical Machines. Translated from Russian by C. A. R. Hoare. Pergamon Press.
4. Quicksort
5. Report on the Elliott ALGOL Translator