src/HOL/Analysis/document/root.bib

   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}
+}
+
 @misc{dummy}