You can easily find it online. Prior discussion: https://news.ycombinator.com/item?id=13451454
For GNU AWK you also have https://www.gnu.org/software/gawk/manual/gawk.html