diff --git a/lean.bib b/lean.bib
index 60a21d790..54397077f 100644
--- a/lean.bib
+++ b/lean.bib
@@ -7,10 +7,13 @@ @Article{         ABKNT_2024
   doi           = {10.1017/jsl.2024.69},
   journal       = {The Journal of Symbolic Logic},
   author        = {Asgeirsson, Dagur and Brasca, Riccardo and Kuhn, Nikolas
-                  and Nuccio Mortarino Majno di Capriglio, Filippo and Topaz,
-                  Adam},
+                  and N{uccio Mortarino Majno di Capriglio}, Filippo A. E.
+                  and Topaz, Adam},
   year          = {2024},
   pages         = {1-28},
+  url           = {
+                  https://www.cambridge.org/core/journals/journal-of-symbolic-logic/article/categorical-foundations-of-formalized-condensed-mathematics/0A003200BE44C4F78859DFAE19E3FFA8
+                  },
   tags          = {formalization, lean4}
 }