diff --git a/README.md b/README.md
index 2759187..1d78cd2 100644
--- a/README.md
+++ b/README.md
@@ -8,6 +8,10 @@ A collection of articles & links
 ## Reading
 
 - [The Challenges of Formally Proving HPC Systems Software](https://www.osti.gov/biblio/1500167)
+- [SSReflect Tutorial](https://jfr.unibo.it/article/view/1979/1358)
+    - [Exercise Examples](https://github.com/catalin-hritcu/exos-ssr/tree/master/Catalin)
+- [Orchestrating Layered Attestations](https://ku-sldg.github.io/copland/resources/copland-post-2019.pdf)
+- [Design & Formal Verification of a Copland-based Attestation Protocol](https://ampetz.github.io/resources/memocode21_camera-ready.pdf)
 
 ### Development
 
@@ -34,6 +38,7 @@ A collection of articles & links
 
 - [v-lang](https://github.com/vlang/v)
 - [Bun JavaScript runtime](https://bun.sh/)
+- [JetBrains Arend Prover](https://arend-lang.github.io/)
 
 ### Rendering
 
@@ -67,6 +72,7 @@ A collection of articles & links
 - [git-less](https://gitless.com/) - Alternative git porcelain
 - [gitpod](https://github.com/gitpod-io/gitpod) - Ephemeral, Kubernetes development environments
 - [JetBrains Space On-Premisis](https://www.jetbrains.com/help/space/production-installation.html)
+- [JetBrains Fleet](https://www.jetbrains.com/fleet)
 
 ### Bugs
 - [CEF Tooltip Blanks Screen](https://bitbucket.org/chromiumembedded/cef/issues/3347/in-fullscreen-on-mac-an-html-title)