Publications by 'Dennis M. Ritchie'