diff --git a/README.md b/README.md
index b44640d..2759187 100644
--- a/README.md
+++ b/README.md
@@ -7,6 +7,8 @@ A collection of articles & links
 
 ## Reading
 
+- [The Challenges of Formally Proving HPC Systems Software](https://www.osti.gov/biblio/1500167)
+
 ### Development
 
 - [CatchTS](https://catchts.com/) - A TypeScript blog