AWK Language Programming
A User's Guide for GNU AWK Edition 1.0 January 1996
Arnold D. Robbins
Based on The GAWK Manual, by Robbins, Close, Rubin, and Stallman