LEE, M. H. Lie Algebras of Formal Power Series. Revista Matemática Complutense, v. 20, n. 2, p. 463–481, 13 sep.2007 https://doi.org/10.5209/rev_REMA.2007.v20.n2.16510.