diff --git a/doc/spot.bib b/doc/spot.bib
index ae5e120b0..6092de0a5 100644
--- a/doc/spot.bib
+++ b/doc/spot.bib
@@ -1,3 +1,4 @@
+
 @InProceedings{	  babiak.12.tacas,
   author	= {Tom{\'a}{\v{s}} Babiak and Mojm{\'i}r
 		  K{\v{r}}et{\'i}nsk{\'y} and Vojt{\v{e}}ch {\v{R}}eh{\'a}k
@@ -81,6 +82,33 @@
   doi		= {10.1007/978-3-642-36742-7_3}
 }
 
+@InProceedings{	  bloemen.16.hvc,
+  title		= {Multi-core SCC-Based LTL Model Checking},
+  author	= {Vincent Bloemen and {van de Pol}, {Jan Cornelis}},
+  year		= 2016,
+  month		= nov,
+  series	= {Lecture Notes in Computer Science},
+  publisher	= {Springer International Publishing},
+  pages		= {18--33},
+  volume	= {10028},
+  editor	= {Roderick Bloem and Eli Arbel},
+  booktitle	= {Proceedings of the 12th International Haifa Verification
+		  Conference (HVC'16)},
+  doi		= {10.1007/978-3-319-49052-6_2}
+}
+
+@Article{	  bloemen.16.poppp,
+  author	= {Vincent Bloemen and Alfons Laarman and Jaco van de Pol},
+  journal	= {Proceedings of the 21st Symposium on Principles and
+		  Practice of Parallel Programming (PPOPP'16)},
+  month		= mar,
+  number	= {8},
+  title		= {Multi-Core On-The-Fly SCC Decomposition},
+  volume	= {51},
+  year		= {2016},
+  doi		= {10.1145/3016078.2851161}
+}
+
 @Article{	  boker.2011.fossacs,
   author	= {Udi Boker and Orna Kupferman},
   title		= {Co-Büching Them All},
@@ -361,6 +389,21 @@
   doi		= {10.1016/S0020-0190(00)00113-7}
 }
 
+@InProceedings{	  evangelista.12.atva,
+  author	= {Sami Evangelista and Alfons Laarman and Laure Petrucci and
+		  Jaco van de Pol},
+  booktitle	= {Proceedings of the 10th international conference on
+		  Automated technology for verification and analysis
+		  (ATVA'12)},
+  pages		= {269--283},
+  title		= {Improved Multi-Core Nested Depth-First Search},
+  publisher	= {Springer-Verlag},
+  series	= {Lecture Notes in Computer Science},
+  volume	= {7561},
+  year		= {2012},
+  doi		= {10.1007/978-3-642-33386-6_22}
+}
+
 @TechReport{	  finkbeiner.21.arxiv,
   title		= {Specification Decomposition for Reactive Synthesis (Full
 		  Version)},
@@ -435,6 +478,17 @@
   url		= {http://archiv.cesnet.cz/doc/techzpravy/2004/verificationresults/}
 }
 
+@Article{	  holzmann.11.ieee,
+  author	= {Gerard J. Holzmann and Rajeev Joshi and Alex Groce},
+  journal	= {IEEE Transaction on Software Engineering},
+  number	= {6},
+  pages		= {845--857},
+  title		= {Swarm Verification Techniques},
+  volume	= {37},
+  year		= {2011},
+  doi		= {10.1109/TSE.2010.110}
+}
+
 @Book{		  holzmann.91.book,
   author	= {Gerard J. Holzmann},
   title		= {Design and Validation of Computer Protocols},
@@ -707,6 +761,24 @@
   doi		= {10.3233/FI-2012-744}
 }
 
+@InProceedings{	  renault.13.lpar,
+  author	= {Etienne Renault and Alexandre Duret-Lutz and Fabrice
+		  Kordon and Denis Poitrenaud},
+  title		= {Three {SCC}-based Emptiness Checks for Generalized
+		  {B\"u}chi Automata},
+  booktitle	= {Proceedings of the 19th International Conference on Logic
+		  for Programming, Artificial Intelligence, and Reasoning
+		  (LPAR'13)},
+  editor	= {Ken McMillan and Aart Middeldorp and Andrei Voronkov },
+  year		= {2013},
+  pages		= {668--682},
+  publisher	= {Springer},
+  series	= {Lecture Notes in Computer Science},
+  volume	= {8312},
+  month		= dec,
+  doi		= {10.1007/978-3-642-45221-5_44}
+}
+
 @InProceedings{	  renault.13.tacas,
   author	= {Etienne Renault and Alexandre Duret-Lutz and Fabrice
 		  Kordon and Denis Poitrenaud},