The rewriting logic semantics project: A progress report. (2011)

by J Meseguer, G Rosu
Venue:of Lecture Notes in Computer Science.,