A Modular Rewriting Semantics for CML. (2004)

by F Chalub, C Braga
Venue:Journal of Universal Computer Science,