The Seventeen Provers of the World - Wiedijk, Freek (Springer Berlin / Heidelberg, 2006)