Sad to report: death of Prof. dr. N G. de Bruijn, 1918 - 2012mobile.twitter.com4 pointsColinWright14 years ago