Maude Action Tool: Using reflection to map Action semantics to rewriting logic
BRAGA, C. De O ; HAEUSLER, E. H ; MESEGUER, J ; MOSSES, P. D
Lecture notes in computer science, 2000, p.407-421
[Periódico revisado por pares]
Berlin: Springer
Texto completo disponível