diff --git a/CITATION.cff b/CITATION.cff
new file mode 100644
index 00000000..e01eaa2b
--- /dev/null
+++ b/CITATION.cff
@@ -0,0 +1,19 @@
+cff-version: 1.2.0
+message: "If you use this software, please cite it as below."
+authors:
+- family-names: "Zetzsche"
+  given-names: "Stefan"
+- family-names: "Tristan"
+  given-names: "Jean-Baptiste"
+title: "Dafny-VMC: a Library for Verified Monte Carlo Algorithms"
+url: "https://github.com/dafny-lang/Dafny-VMC"
+preferred-citation:
+  type: software
+  authors:
+  - family-names: "Zetzsche"
+    given-names: "Stefan"
+  - family-names: "Tristan"
+    given-names: "Jean-Baptiste"
+  title: "Dafny-VMC: a Library for Verified Monte Carlo Algorithms"
+  url: "https://github.com/dafny-lang/Dafny-VMC"  
+  year: 2023
\ No newline at end of file
diff --git a/README.md b/README.md
index 3de7b00a..566bccc4 100644
--- a/README.md
+++ b/README.md
@@ -1,7 +1,11 @@
-# VMC: a Library for Verified Monte Carlo Algorithms
+# Dafny-VMC: a Library for Verified Monte Carlo Algorithms
 
 The `DafnyVMC` module introduces utils for probabilistic reasoning in Dafny. At the moment, the API is intentionally limited in scope, and only supports compilation to Java and Python. For the future, we plan to extend both the functionality and the range of supported languages.
 
+The main developers of Dafny-VMC are [Stefan Zetzsche](https://zetzsche.st) and [Jean-Baptiste Tristan](https://jtristan.github.io/).
+
+Many other people have contributed to it (in no particular order): Aws Albharghouti, Anjali Joshi, Tancrede Lepoint, Mikael Mayer, Muhammad Naveed, Tristan Ravitch, Fabian Zaiser.
+
 ## Java
 
 ### Java API