The ELAN Environment: an Rewriting Logic Environment based on ASF+ SDF Technology (2002)

by M G J Van Den Brand, P E Moreau, C Ringeissen
Venue:In Work. on Language Descriptions, Tools and Applications