diff --git a/free-programming-books.md b/free-programming-books.md
index 0a54d7487a2a8cfb9c78e8a05c53086d831b6c6c..1546818467471f13ed5ad7d0f8739f31b6d1c620 100644
--- a/free-programming-books.md
+++ b/free-programming-books.md
@@ -901,6 +901,7 @@
 
 
 ###Isabelle/HOL
+* [Concrete Semantics - A Proof Assistant Approach by Tobias Nipkow and Gerwin Klein](http://www21.in.tum.de/~nipkow/Concrete-Semantics/) (PDF)
 * [Isabelle/HOL - A Proof Assistant for Higher-Order Logic by Tobias Nipkow and Lawrence C. Paulson and Markus Wenzel](http://isabelle.in.tum.de/doc/tutorial.pdf) (PDF)