Did not knew Brian Kernighan has authored so many books. This is useful.