https://www.daboweb.com/2011/10/13/dennis-ritchie-ha-muerto/