José Meseguer, Grigore Rosu. The Rewriting Logic Semantics Project: A Progress Report. In Olaf Owe, Martin Steffen, Jan Arne Telle, editors, Fundamentals of Computation Theory - 18th International Symposium, FCT 2011, Oslo, Norway, August 22-25, 2011. Proceedings. Volume 6914 of Lecture Notes in Computer Science, pages 1-37, Springer, 2011. [doi]