@book{Hytoenen_2016, 
	place={Cham, Switzerland}, 
	title={Analysis in Banach Spaces Volume I: Martingales and Littlewood-Paley theory}, 
	publisher={Springer International Publishing}, 
	author={Hytönen, Tuomas and Neerven, Jan van and Veraar, Mark and Weis, Lutz}, 
	year={2016},
	ISBN={978-3-319-48519-5}
} 

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

@article{keskin2023formalization,
      title={A Formalization of Martingales in {Isabelle/HOL}}, 
      author={Ata Keskin},
      year={2023},
      eprint={2311.06188},
      archivePrefix={arXiv},
      primaryClass={cs.LO}
}

@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{Zitkovic_2015, 
	place={Austin, Texas}, 
	title={Lecture Notes on Conditional Expectation, Theory of Probability {I}, {UT Austin}},
	note={\url{https://web.ma.utexas.edu/users/gordanz/notes/conditional_expectation.pdf}}, 
	journal={Theory of Probability I}, publisher={The University of Texas at Austin}, 
	author={Zitkovic, Gordan}, 
	year={2015}, 
	month={Jan}
} 