The ELAN Environment:: a Rewriting Logic Environment based on ASF+SDF Technology—System Demonstration
van den Brand, M.G.J. ; Moreau, P.-E. ; Ringeissen, C.
Electronic notes in theoretical computer science, 2002-07, Vol.65 (3), p.50-56
Elsevier B.V
Texto completo disponível