diff --git a/README.md b/README.md
index 6da4aa4..3c611c7 100644
--- a/README.md
+++ b/README.md
@@ -7,4 +7,9 @@ Traditional access control mechanisms in operating systems allow the same level
 ## Goals
 * analyse the problem and design a solution
 * implement the solution using the FUSE framework
-* test the solution and demonstrate its benefits
\ No newline at end of file
+* test the solution and demonstrate its benefits
+
+## Docs
+* [Initial idea and motivation](./docs/bc-thesis-idea.md)
+* [Some identified issues](./docs/bc-thesis-problems.md)
+* [Formal specification](./docs/bc-thesis-specs.md)
\ No newline at end of file