A Research Unix Reader says: Andrew G. Hume wrote proof to put troff on your screen (v8, begun by Locanthi), parts of the UNIX Circuit Design System (v9), mk to supplant make (v9), and a remote backup service (v9).