Comment by Gormo

AWK's name is actually an initialism of the last names of its three creators: Aho, Weinberger, and Kernighan.