Folletos de indicadores económicos : sector industrial. Banco Central de Costa Rica.