bib: Consistency fixes

Signed-off-by: Michalis Kokologiannakis <mixaskok@gmail.com>

biblio.bib

@@ -695,7 +695,7 @@
   year		= {2019},
   month		= oct,
   issue_date	= {October 2019},
-  publisher	= {Association for Computing Machinery},
+  publisher	= {ACM},
   address	= {New York, NY, USA},
   volume	= {3},
   number	= {OOPSLA},
@@ -1864,16 +1864,34 @@
 }
 
 @InProceedings{	  heller2005:lazy-list,
-  author	= {Steve Heller and Maurice Herlihy and Victor Luchangco and Mark Moir and
-		   {Scherer III}, William N. and Nir Shavit},
   title		= {A Lazy Concurrent List-Based Set Algorithm},
-  booktitle	= {OPODIS 2005},
-  series	= {LNCS},
-  volume	= {3974},
-  pages		= {3--16},
-  publisher	= {Springer},
+  author	= {Heller, Steve and Herlihy, Maurice and Luchangco, Victor
+		  and Moir, Mark and Scherer, William N. and Shavit, Nir},
+  booktitle	= {\bibOPODIS{2005}},
   year		= {2005},
-  doi		= {10.1007/11795490\_3},
+  isbn		= {3540363211},
+  publisher	= {Springer-Verlag},
+  address	= {Berlin, Heidelberg},
+  url		= {https://doi.org/10.1007/11795490_3},
+  doi		= {10.1007/11795490_3},
+  pages		= {3–16},
+  numpages	= {14},
+  location	= {Pisa, Italy},
+}
+
+@InProceedings{	  hendler2004:elimination,
+  title		= {A Scalable Lock-Free Stack Algorithm},
+  author	= {Hendler, Danny and Shavit, Nir and Yerushalmi, Lena},
+  booktitle	= {\bibSPAA{2004}},
+  year		= {2004},
+  isbn		= {1581138407},
+  publisher	= {ACM},
+  address	= {New York, NY, USA},
+  url		= {https://doi.org/10.1145/1007912.1007944},
+  doi		= {10.1145/1007912.1007944},
+  pages		= {206–215},
+  numpages	= {10},
+  location	= {Barcelona, Spain}
 }
 
 @InProceedings{	  hendler2010:flat-combining,
@@ -1887,17 +1905,6 @@
   optpublisher	= {ACM}
 }
 
-@Article{	  hendler2010:elimination,
-  author	= {Danny Hendler and Nir Shavit and Lena Yerushalmi},
-  title		= {A scalable lock-free stack algorithm},
-  journal	= {J. Parallel Distributed Comput.},
-  volume	= {70},
-  number	= {1},
-  pages		= {1--12},
-  year		= {2010},
-  doi		= {10.1016/j.jpdc.2009.08.011},
-}
-
 @InProceedings{	  henzinger2013:aspect-linear,
   title		= {Aspect-Oriented Linearizability Proofs},
   author	= {Thomas A. Henzinger and Ali Sezgin and Viktor Vafeiadis},