Modular Rewriting Semantics of Programming Languages (2004)

by J Meseguer, C Braga
Venue:In Proceedings of AMAST’04, volume 3116 of LNCS