Negociação de Pairs Cointegração: Análise Matemática e Estratégia de Implementação