diff --git a/README.md b/README.md
index 27524b8..8d8cf86 100644
--- a/README.md
+++ b/README.md
@@ -19,3 +19,4 @@ Just run `make` here to build everything, including the book `frap.pdf` and the
 * Chapter 12: `SeparationLogic.v`
 * Chapter 13: `SharedMemory.v`
 * Chapter 14: `ConcurrentSeparationLogic.v`
+* Chapter 15: `MessagesAndRefinement.v`