@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}
}