diff --git a/src/runtime/c/doc/README.md b/src/runtime/c/doc/README.md
index 3839f1e04..7c11b755c 100644
--- a/src/runtime/c/doc/README.md
+++ b/src/runtime/c/doc/README.md
@@ -11,3 +11,4 @@ So, **Don't Panic!** and keep reading. This is a live document and will develop
 
 1. [Desiderata](DESIDERATA.md)
 2. [Memory Model](memory_model.md)
+3. [Abstract Expressions](abstract_expressions.md)