BRIAN W. KERNIGHAN / DENNIS M. RITCHIE