diff --git a/doc/org/citing.org b/doc/org/citing.org
index c1178762a..4c65793b0 100644
--- a/doc/org/citing.org
+++ b/doc/org/citing.org
@@ -11,9 +11,9 @@ use the following reference:
 
 - *Spot 2.0 — a framework for LTL and ω-automata manipulation*,
   /Alexandre Duret-Lutz/, /Alexandre Lewkowicz/, /Amaury Fauchille/,
-  /Thibaud Michaud/, /Etienne Renault/, and /Laurent Xu/.  To appear
-  in Proc. of ATVA'16, LNCS 9938.  Chiba, Japan, Oct. 2016.  ([[https://www.lrde.epita.fr/~adl/dl/adl_bib.html#duret.16.atva2][bib]] |
-  [[https://www.lrde.epita.fr/~adl/dl/adl/duret.16.atva2.pdf][pdf]])
+  /Thibaud Michaud/, /Etienne Renault/, and /Laurent Xu/.  In Proc.
+  of ATVA'16, LNCS 9938, pp. 122--129.  Chiba, Japan, Oct. 2016.
+  ([[https://www.lrde.epita.fr/~adl/dl/adl_bib.html#duret.16.atva2][bib]] | [[https://www.lrde.epita.fr/~adl/dl/adl/duret.16.atva2.pdf][pdf]])
 
   This provides a quick overview of the entire project (the features
   of the library, [[file:tools.org][the tools]], the Python bindings), and provides many
@@ -32,8 +32,8 @@ be more specific about a particular aspect of Spot.
   This focuses on the tools [[file:ltlfilt.org][=ltlfilt=]], [[file:randltl.org][=randltl=]], and [[file:ltlcross.org][=ltlcross=]].
 
 - *LTL translation improvements in Spot 1.0*, /Alexandre Duret-Lutz/.
-  Int. J. on Critical Computer-Based Systems, 5(1/2):31--54, March 2014.
-  ([[https://www.lrde.epita.fr/~adl/dl/adl_bib.html#duret.14.ijccbs][bib]] | [[https://www.lrde.epita.fr/~adl/dl/adl/duret.14.ijccbs.draft.pdf][pdf]])
+  Int. J. on Critical Computer-Based Systems, 5(1/2), pp. 31--54,
+  March 2014.  ([[https://www.lrde.epita.fr/~adl/dl/adl_bib.html#duret.14.ijccbs][bib]] | [[https://www.lrde.epita.fr/~adl/dl/adl/duret.14.ijccbs.draft.pdf][pdf]])
 
   This describes the translation from LTL to TGBA used by the
   [[file:ltl2tgba.org][=ltl2tgba=]] tool.
@@ -41,7 +41,7 @@ be more specific about a particular aspect of Spot.
 - *Model checking using generalized testing automata*, /Ala Eddine Ben
   Salem/, /Alexandre Duret-Lutz/, and /Fabrice Kordon/.  In
   Transactions on Petri Nets and Other Models of Concurrency (ToPNoC
-  VI), 7400:94--112, 2012.  ([[https://www.lrde.epita.fr/~adl/dl/adl_bib.html#bensalem.12.topnoc][bib]] | [[https://www.lrde.epita.fr/~adl/dl/adl/bensalem.12.topnoc.pdf][pdf]])
+  VI), LNCS 7400, p. 94--112, 2012.  ([[https://www.lrde.epita.fr/~adl/dl/adl_bib.html#bensalem.12.topnoc][bib]] | [[https://www.lrde.epita.fr/~adl/dl/adl/bensalem.12.topnoc.pdf][pdf]])
 
   This describes the generalized testing automata produced by the
   [[file:ltl2tgta.org][=ltl2tgta=]] tool.