@article {107,
	title = {The equivalence axiom and univalent models of type theory},
	journal = {arXiv 1402.5556},
	year = {2010},
	pages = {1{\textendash}11},
	url = {http://arxiv.org/abs/1402.5556},
	author = {Vladimir Voevodsky}
}
@article {98,
	title = {Framed Correspondences},
	journal = {Unpublished},
	year = {2001},
	url = {http://www.math.ias.edu/vladimir/files/framed.pdf},
	author = {Vladimir Voevodsky}
}
