Población de la República de Costa Rica por provincias, cantones y distritos. estimación al 1 de octubre de 1972. DGEC