Professor Kernighan publishes new book