bibliography.bib

@book{BabyRudin,
	Author = {Rudin, Walter},
	Keywords = {Analysis, Rudin},
	Publisher = {McGraw-Hill},
	Title = {Principles of Mathematical Analysis},
	Year = {1976}}
@book{BigRudin,
	Author = {Rudin, Walter},
	Keywords = {Analysis, Rudin},
	Publisher = {McGraw-Hill},
	Title = {Real and Complex Analysis},
	Year = {1986}}
@book{FA,
	Author = {Rudin, Walter},
	Keywords = {Analysis, Rudin},
	Publisher = {McGraw-Hill},
	Title = {Functional Analysis},
	Year = {1991}}
@book{AnalyseIII,
	Author = {Schwartz, Laurent},
	Keywords = {analysis, integral calculus, Schwartz},
	Publisher = {Hermann},
	Title = {Analyse},
	Volume = {III (in French)},
	Year = {1997},
  Language={French}}
@book{SpecifyingSystems,
	Author = {Lamport, Leslie},
	Keywords = {TLA, formal methods, logic},
	Publisher = {Addison-Wesley},
	Title = {Specifying Systems, The TLA+ Language and Tools for Hardware and Software Engineers},
	Year = {2002},
  Language={English}}