Certification of algorithms 63, 64 and 65, partition, quicksort, and find. - Brian Randell; L. J. Russell (Commun. ACM, 1963)

Single-Scan Techniques for the Translation of Arithmetic Expressions into ALGOL 60. - Brian Randell; L. J. Russell (J. ACM, 1964)