Infinite-dimensional supermanifolds, Lie supergroups and the supergroup of superdiffeomorphisms
J. Schütt, Infinite-Dimensional Supermanifolds, Lie Supergroups and the Supergroup of Superdiffeomorphisms, 2018.