The seventeen provers of the world - Wiedijk, Freek, 1961- (Springer, 2006)