↑ Redacción (11 de junio de 2015). «Hoy hace 25 años Costa Rica anotó su primer gol en un mundial». ↑ Araya N., José Fernando (24 de junio de 2014). «Costa Rica clasifica de primero en el ‘grupo de la muerte’ tras empate ante Inglaterra». ↑ «Jorge Luis Pinto será el técnico de la Selección Nacional». ↑ a b «La primera aventura de la Tricolor».