src/HOL/Analysis/document/root.bib

more markup for syntax consts;

@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}