https://mamchenkov.net/wordpress/2018/05/24/the-awk-programming-language/