Sorry, my link to the John Backus obit. was a subscription page. Try this, the NY Times obit.