Concrete Semantics - Nipkow; Klein, Gerwin (Springer International Publishing, 2014)