Working with grep, sed, and awk - Campesato, Oswald (Mercury Learning and Information, 2023)