diff --git a/references.md b/references.md
index 6491bdb..82adcf4 100644
--- a/references.md
+++ b/references.md
@@ -1,6 +1,6 @@
 # References
 
-1. [Mathematics in Lean by Patrick Mossad and Jeremy Avigad](https://leanprover-community.github.io/mathematics_in_lean/mathematics_in_lean.pdf)
+1. [Mathematics in Lean by Jeremy Avigad and Patrick Massot](https://leanprover-community.github.io/mathematics_in_lean/mathematics_in_lean.pdf)
 2. [The Mathlib 4 API docs](https://leanprover-community.github.io/mathlib4_docs/)
 3. [The Lean Zulip Chat](https://leanprover.zulipchat.com/)