Proof Patterns - Joshi, Mark (Springer International Publishing : Imprint: Springer, 2015)