John Backus: Rozdiel medzi revíziami