@InProceedings{impagliazzo2010,
	author="Impagliazzo, Russell and Kabanets, Valentine",
	editor="Serna, Maria and Shaltiel, Ronen and Jansen, Klaus and Rolim, Jos{\'e}",
	title="Constructive Proofs of Concentration Bounds",
	booktitle="Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques",
	year="2010",
	publisher="Springer Berlin Heidelberg",
	address="Berlin, Heidelberg",
	pages="617--631",
	isbn="978-3-642-15369-3",
	doi="10.1007/978-3-642-15369-3_46"
}

@InProceedings{murtagh2019,
  author =	{Jack Murtagh and Omer Reingold and Aaron Sidford and Salil Vadhan},
  title =	{{Deterministic Approximation of Random Walks in Small Space}},
  booktitle =	{Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques (APPROX/RANDOM 2019)},
  pages =	{42:1--42:22},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-125-2},
  ISSN =	{1868-8969},
  year =	{2019},
  volume =	{145},
  editor =	{Dimitris Achlioptas and L{\'a}szl{\'o} A. V{\'e}gh},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2019/11257},
  URN =		{urn:nbn:de:0030-drops-112577},
  doi =		{10.4230/LIPIcs.APPROX-RANDOM.2019.42},
  annote =	{Keywords: random walks, space complexity, derandomization, spectral approximation, expander graphs}
}

@article{hoory2006,
  title={Expander Graphs and their Applications},
  author={Shlomo Hoory and Nathan Linial},
  journal={Bulletin of the American Mathematical Society},
  year={2006},
  volume={43},
  pages={439-561},
  doi = {10.1090/S0273-0979-06-01126-8}
}

@article{vadhan2012,
  year = {2012},
  volume = {7},
  journal = {Foundations and Trends(R) in Theoretical Computer Science},
  title = {Pseudorandomness},
  doi = {10.1561/0400000010},
  issn = {1551-305X},
  number = {1–3},
  pages = {1-336},
  author = {Salil P. Vadhan}
}

@article{jimbo1987,
  year= {1987},
  author = {Jimbo, Shuji and Maruoka, Akira},
  volume={7},
  journal = {Combinatorica},
  title = {Expanders obtained from affine transformations},
  number = {4},
  doi = {10.1007/BF02579322},
}

@article{Graph_Theory-AFP,
  author  = {Lars Noschinski},
  title   = {Graph Theory},
  journal = {Archive of Formal Proofs},
  month   = {April},
  year    = {2013},
  note    = {\url{https://isa-afp.org/entries/Graph_Theory.html},
            Formal proof development},
  ISSN    = {2150-914x},
}
@article{Commuting_Hermitian-AFP,
  author  = {Mnacho Echenim},
  title   = {Simultaneous diagonalization of pairwise commuting Hermitian matrices},
  journal = {Archive of Formal Proofs},
  month   = {July},
  year    = {2022},
  note    = {\url{https://isa-afp.org/entries/Commuting_Hermitian.html},
            Formal proof development},
  ISSN    = {2150-914x},
}

@article{margulis1973,
 Author = {Margulis, G. A.},
 Title = {Explicit construction of a concentrator},
 Journal = {Probl. Peredachi Inf.},
 Volume = {9},
 Number = {4},
 Pages = {71--80},
 Year = {1973},
}

@article{gabber1981,
        title = {Explicit constructions of linear-sized superconcentrators},
        journal = {Journal of Computer and System Sciences},
        volume = {22},
        number = {3},
        pages = {407-420},
        year = {1981},
        issn = {0022-0000},
        doi = {https://doi.org/10.1016/0022-0000(81)90040-4},
        author = {Ofer Gabber and Zvi Galil}
}

@article{Perron_Frobenius-AFP,
  author  = {Jose Divasón and Ondřej Kunčar and René Thiemann and Akihisa Yamada},
  title   = {Perron-Frobenius Theorem for Spectral Radius Analysis},
  journal = {Archive of Formal Proofs},
  month   = {May},
  year    = {2016},
  note    = {\url{https://isa-afp.org/entries/Perron_Frobenius.html},
            Formal proof development},
  ISSN    = {2150-914x},
}

@article{kuncar2016,
  title={From Types to Sets by Local Type Definition in Higher-Order Logic},
  author={Ondrej Kuncar and Andrei Popescu},
  journal={Journal of Automated Reasoning},
  year={2016},
  volume={62},
  pages={237 - 260}
}
