"D. M. Ritchie"