Complete filtered L_∞-algebras and their homotopy theory - Christopher L. Rogers (2020)