Brian W. Kernighan, AT&T Bell Laboratories