Lie's correspondence for commutative automorphic formal loops - Grichkov, Alexandre; Perez-Izquierdo, José Maria (Linear Algebra and its Applications, 2018)