Gaceta Oficial de Costa Rica (Imprenta Nacional, 1988)