Establecimiento de la hora oficial de Costa Rica a partir de un patrón de tiempo generado localmente con trazabilidad al sistema internacional de unidades de medida - Zúñiga Rojas, Manuel Andrés (M. A. Zúñiga R., 2008)