1. Rewriting logic semantics: From language specifications to formal analysis tools;Meseguer,2004
2. The rewriting logic semantics project;Meseguer;Theoretical Computer Science,2007
3. A rewriting logic approach to operational semantics;Şerbănuţă;Information and Computation,2009
4. The rewriting logic semantics project: A progress report;Meseguer,2011
5. A structural approach to operational semantics;Plotkin;Journal of Logic and Algebraic Programming,2004