diff --git a/teaching/2023/cs422/index.md b/teaching/2023/cs422/index.md
index ea49e73..eeb98a7 100644
--- a/teaching/2023/cs422/index.md
+++ b/teaching/2023/cs422/index.md
@@ -87,5 +87,11 @@ Note: See the [abort](https://github.com/runtimeverification/k/tree/master/k-dis
 
 ---
 
+- ***Matching Logic - A Minimal Foundation for Programming Languages***
+  - Optional, but informative.  Matching logic is the logic undelying K.
+  - http://matching-logic.org
+  - [Marktoberdorf Lecture Notes](https://events.model.in.tum.de/mod23/lectures.html)
+
+---
 ... more to come ...
 ---