In Memoriam: John W. Backus, 1924–2007