Univalence in Simplicial Sets - Chris Kapulkin; Peter LeFanu Lumsdaine; Vladimir Voevodsky (2012)