A nice obit for John Wrench appeared in the Boston Globe, reprinted from the Washington Post: http://www.boston.com/news/education/higher/articles/2009/03/27/john_wrench_... He was 97. He did lots of good math, and for a while, with Shanks, held the record for digits of pi.