The Meaning of Proofs: Mathematics as Storytelling - Lolli (IEEE, 2003)