27064 Steve Awodey/Thierry Coquand/Vladimir Voevodsky (ed.): Homotopy type theory. IAS Princeton 2013, 49op. Available on https://homotopytypetheory.org/book.