diff --git a/amy_specification.md b/amy_specification.md
new file mode 100644
index 0000000000000000000000000000000000000000..820f05f0c5ed9d95f64e74ad27da3810cb1b6393
--- /dev/null
+++ b/amy_specification.md
@@ -0,0 +1,3 @@
+===== The Amy Specification =====
+
+You can access the Amy specification document [[http://lara.epfl.ch/~gschmid/clp20/amy-spec.pdf|here]].
\ No newline at end of file