Quelle  root.bib

@article{dugundji,
  author = {J. Dugundji},
  title  = {An extension of {Tietze's} theorem},
  journal = {Pacific J. Math.},
  pages  = {353-367},
  volume  = 1,
  number  = 3,
  year    = 1951,
  url     = {https://projecteuclid.org/euclid.pjm/1103052106}}

@article{DBLP:journals/jar/Maggesi18,
  author    = {Marco Maggesi},
  title     = {A Formalization of Metric Spaces in {HOL} Light},
  journal   = {J. Autom. Reasoning},
  volume    = {60},
  number    = {2},
  pages     = {237--254},
  year      = {2018},
  url       = {https://doi.org/10.1007/s10817-017-9412-x},
  doi       = {10.1007/s10817-017-9412-x},
  timestamp = {Thu, 25 Jan 2018 11:13:11 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/jar/Maggesi18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@book{conway2013course,
  title={A course in functional analysis},
  author={Conway, John B},
  volume={96},
  year={2013},
  publisher={Springer Science \& Business Media}
}

@book{Lang_1993, 
 place={New York}, 
 title={Real and Functional Analysis}, 
 publisher={Springer}, 
 author={Lang, Serge}, 
 year={1993},
 isbn={978-1-4612-0897-6}
} 

@book{engelking_1989,
 title={General Topology},
 author={Engelking, R.},
 isbn={978-3-8853-8006-1},
 series={Sigma series in pure mathematics},
 url={https://books.google.com.tr/books?id=K3spAQAAMAAJ},
 year={1989},
 publisher={Heldermann}
}

@misc{dummy}