Shell scripting : expert recipes for LINUX, BASH and more - Parker, Steve