Concrete Semantics With Isabelle/HOL - Nipkow, Tobias; Klein, Gerwin (Springer International Publishing : Imprint: Springer, 2014)