Proof patterns - Mark Joshi (Springer, 2015)