diff --git a/teaching/2024/cs522/CS522-Spring-2024-Maude-book.pdf b/teaching/2024/cs522/CS522-Spring-2024-Maude-book.pdf
new file mode 100644
index 0000000..5e48899
Binary files /dev/null and b/teaching/2024/cs522/CS522-Spring-2024-Maude-book.pdf differ
diff --git a/teaching/2024/cs522/CS522-Spring-2024-Maude.pdf b/teaching/2024/cs522/CS522-Spring-2024-Maude.pdf
new file mode 100644
index 0000000..6dbae78
Binary files /dev/null and b/teaching/2024/cs522/CS522-Spring-2024-Maude.pdf differ
diff --git a/teaching/2024/cs522/CS522-Spring-2024-basic-semantics.pdf b/teaching/2024/cs522/CS522-Spring-2024-basic-semantics.pdf
new file mode 100644
index 0000000..555d2d6
Binary files /dev/null and b/teaching/2024/cs522/CS522-Spring-2024-basic-semantics.pdf differ