Proof patterns. (2015) - Joshi, Mark
No abstract available