Ian Mackenzie died at the age of 75 on 31 October 2006 - McKay, Johnston R. (The expository times, 2007)