The rewriting logic semantics project. (2007)

by J Meseguer, G Rosu
Venue:Theor. Computer Science