@TECHREPORT{orc-rl-07-report,
  AUTHOR = {Musab AlTurki and Jos{\'e} Meseguer},
  TITLE = {Rewriting Logic Semantics of {Orc}},
  NUMBER = {UIUCDCS-R-2007-2918},
  YEAR = 2007,
  MONTH = {November},
  INSTITUTION = {University of Illinois at Urbana Champaign}
}