Richard Haven Backus (1922–2012)