Peter Flint

I had seen several reports noting that Peter Flint had died but here is the first published confirmation that I could find. I have benefited greatly from his books and he always gave engaging lectures