Proof Patterns - Joshi (Springer International Publishing, 2015)