Richard H Backus Author