Pruning and Training, Revised new edition, What, When, and How to Prune. Christopher Brickell and David Joyce, published 2017.