Kenneth I. Appel, Mathematician Who Harnessed Computer Power, Dies at 80. Overbye, Dennis, Appel, Kenneth I (1932-2013), Mathematics, Computers and the Internet, Deaths (Obituaries), International Business Machines Corporation