@book{hottbook,
 title = {Homotopy Type Theory: Univalent Foundations of Mathematics},
 author = {The {Univalent Foundations Program}},
 year = {2013},
 publisher = {Institute for Advanced Study}
}