Kraus, Nicolai, Altenkirch, Thorsten, "Free Higher Groups in Homotopy Type Theory", , 2018