A Modular Rewriting Semantics for CML (2004)

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