diff --git a/README.md b/README.md
index 21d5d86..3848eba 100644
--- a/README.md
+++ b/README.md
@@ -25,3 +25,14 @@ The tests in `pantograph/server.py` also serve as simple interaction examples
 ## Examples
 
 See `examples/README.md`
+
+## Referencing
+
+```bib
+@misc{pantograph,
+	title = "Pantograph, A Machine-to-Machine Interface for Lean 4",
+	author = {Aniva, Leni and Miranda, Brando and Sun, Chuyue},
+	year = 2024,
+	howpublished = {\url{https://github.com/lenianiva/PyPantograph}}
+}
+```