"Brian W. Kernighan"