diff --git a/Isabelle_DOF/document/root.bib b/Isabelle_DOF/document/root.bib
index fffec46..36cb744 100644
--- a/Isabelle_DOF/document/root.bib
+++ b/Isabelle_DOF/document/root.bib
@@ -80,7 +80,7 @@
   publisher	= {Springer-Verlag},
   address	= {Heidelberg},
   series	= {Lecture Notes in Computer Science},
-  number	= {XXXXX},
+  number	= {14010},
   title		= {{U}sing {D}eep {O}ntologies in {F}ormal {S}oftware {E}ngineering},
   year    = {2023},
   abstract = {Isabelle/DOF is an ontology framework on top of Isabelle Isabelle/DOF allows for the