Title: Proof, practice, and progress
First published: 2002