Modular Rewriting Semantics of Programming Languages
Meseguer, José ; Braga, Christiano Shankland, Carron ; Maharaj, Savitri ; Rattray, Charles
Algebraic Methodology and Software Technology, 2004, p.364-378 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin Heidelberg
Texto completo disponível