@article{meseguer-rosu-2006-tcs, author = {Jos\'e Meseguer and Grigore Ro\c{s}u}, title = {The rewriting logic semantics project}, journal = {Theoretical Computer Science}, volume = {373}, number = {3}, year = {2007}, pages = {213--237} }