Fixed bibliography entry

Bibliography/bibliography.bib

@@ -94,7 +94,7 @@ @Book{ Silberschatz06
 }
 
 @Book{ Moss85,
-	author       = "J. Eliot B. Moss",
+	author       = "J. Eliot and B. Moss",
 	title        = "Nested transactions: an approach to reliable distributed computing",
 	year         = "1985",
 	isbn         = "0-262-13200-1",

Bibliography/bibliography_doi.bib

@@ -0,0 +1,149 @@
+@InProceedings{ Artho04,
+	author       = "Cyrille Artho and Klaus Havelund and Armin Biere",
+	title        = "Using Block-Local Atomicity to Detect Stale-Value Concurrency Errors",
+	booktitle    = "ATVA",
+	year         = "2004",
+	pages        = "150--164",
+	crossref     = "DBLP:conf/atva/2004",
+	bibsource    = "DBLP, http://dblp.uni-trier.de",
+	ee           = "http://springerlink.metapress.com/openurl.asp?genre=article{\&}issn=0302-9743{\&}volume=3299{\&}spage=150",
+}
+
+@online{ Parkins2017,
+	author       = "Parkins, David",
+	booktitle    = "Economist (United Kingdom)",
+	issn         = "00130613",
+	mendeley     = "I4.0/BigData",
+	number       = "9035",
+	title        = "{Regulating the internet giants: The world's most valuable resource is no longer oil, but data}",
+	url          = "https://www.economist.com/leaders/2017/05/06/the-worlds-most-valuable-resource-is-no-longer-oil-but-data?fbclid=IwAR1EaO3g6OJoDuhrHBNyqQJAqR2NyhvcZ07uexTWa3Hujq0azNMVHKhQido",
+	urldate      = "2020-01-21",
+	volume       = "413",
+	year         = "2017",
+}
+
+@Misc{ Artho03,
+	author       = "C. Artho and K. Havelund and A. Biere",
+	title        = "High-Level Data Races",
+	text         = "C. Artho, K. Havelund, and A. Biere. High-Level Data Races. In VVEIS'03, The First International Workshop on Verification and Validation of Enterprise Information Systems, April 2003. Angers, France.",
+	year         = "2003",
+	url          = "citeseer.ist.psu.edu/artho03highlevel.html",
+}
+
+@Article{ Beckman08,
+	title        = "Verifying Correct Usage of Atomic Blocks and Typestate",
+	author       = "Nels E. Beckman and Kevin Bierhoff and Jonathan Aldrich",
+	publisher    = "ACM",
+	address      = "New York, NY, USA",
+	journal      = "SIGPLAN Not.",
+	pages        = "227--244",
+	volume       = "43",
+	number       = "10",
+	year         = "2008",
+	issn         = "0362-1340",
+	doi          = "http://doi.acm.org/10.1145/1449955.1449783",
+}
+
+@InProceedings{ Flanagan04,
+	author       = "Cormac Flanagan and Stephen N Freund",
+	title        = "Atomizer: a dynamic atomicity checker for multithreaded programs",
+	booktitle    = "POPL '04: Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages",
+	year         = "2004",
+	isbn         = "1-58113-729-X",
+	pages        = "256--267",
+	location     = "Venice, Italy",
+	doi          = "http://doi.acm.org/10.1145/964001.964023",
+	publisher    = "ACM",
+	address      = "New York, NY, USA",
+}
+
+@Misc{ IBM-Rep,
+	title        = "{IBM's Concurrency Testing Repository}",
+}
+
+@InProceedings{ Praun03,
+	author       = "Christoph {von Praun} and Thomas R. Gross",
+	title        = "Static Detection of Atomicity Violations in Object-Oriented Programs",
+	booktitle    = "Journal of Object Technology",
+	year         = "2003",
+	pages        = "2004",
+}
+
+@InProceedings{ Shavit95,
+	author       = "Nir Shavit and Dan Touitou",
+	title        = "Software transactional memory",
+	booktitle    = "PODC '95: Proceedings of the fourteenth annual ACM symposium on Principles of distributed computing",
+	year         = "1995",
+	isbn         = "0-89791-710-3",
+	pages        = "204--213",
+	location     = "Ottowa, Ontario, Canada",
+	doi          = "http://doi.acm.org/10.1145/224964.224987",
+	publisher    = "ACM",
+	address      = "New York, NY, USA",
+}
+
+@BOOK{Silberschatz06,
+    author = {Silberschatz, Abraham and Korth, Henry F. and Sudarshan, S.},
+    title = {Database System Concepts},
+    publisher = {McGraw-Hill},
+    year = {2006},
+    edition = {Fifth},
+    isbn = {007-124476-X},
+    doi = {},
+}
+
+@BOOK{Moss85,
+    author = {Moss, J. Eliot B.},
+    title = {Nested transactions: an approach to reliable distributed computing},
+    year = {1985},
+    isbn = {0-262-13200-1},
+    publisher = {Massachusetts Institute of Technology},
+    address = {Cambridge, MA, USA},
+    doi = {},
+}
+
+@Proceedings{ DBLP:conf/atva/2004,
+	editor       = "Farn Wang",
+	title        = "Automated Technology for Verification and Analysis: Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004. Proceedings",
+	booktitle    = "ATVA",
+	publisher    = "Springer",
+	series       = "Lecture Notes in Computer Science",
+	volume       = "3299",
+	year         = "2004",
+	isbn         = "3-540-23610-4",
+	bibsource    = "DBLP, http://dblp.uni-trier.de",
+}
+
+@InProceedings{ecoop12-dias,
+	author       = "Dias, Ricardo J. and Distefano, Dino and Seco, J. C. and Lourenço, João M.",
+	booktitle    = "Proceedings of the 26th European conference on Object-oriented programming ({ECOOP}'12)",
+	title        = "Verification of Snapshot Isolation in Transactional Memory Java Programs",
+	year         = "2012",
+	month        = jun,
+	publisher    = "Springer-Verlag",
+}
+
+@online{wiki:shuntingyard,
+    author = "Wikipedia contributors",
+    title = "Shunting-yard algorithm --- Wikipedia{,} The Free Encyclopedia",
+    year = "2017",
+    month = "3",
+    url = "https://en.wikipedia.org/w/index.php?title=Shunting-yard_algorithm&oldid=817901155",
+    urldate = {2018-03-01},
+    keywords  = "Dijkstra,prefix"
+}
+
+@online{bison,
+    url = {https://www.gnu.org/software/bison/},
+    urldate = {2020-07-26},
+    keywords = {parser,generator},
+    title = {Gnu Bison},
+}
+
+@online{flex,
+    url = {https://github.com/westes/flex},
+    urldate = {2020-07-26},
+    keywords = {lexical,analyser},
+    title = {Fast Lexical Analyser},
+}
+