Rewriting Logic Semantics of Orc
Musab AlTurki and José Meseguer
Technical Report UIUCDCS-R-2007-2918, November 2007
[Abstract] [PDF] [BibTeX]