From syntactic theories to interpreters: A specification language and its compilation (2000)

by Y Xiao, Z M Ariola, M Mauny
Venue:Proceedings of the First International Workshop on Rule-Based Programming (RULE’00