1. Conservative extension in structural operational semantics;Aceto;Bulletin of the European Association for Theoretical Computer Science,1999
2. Abstract State Machines: A Method for High-Level System Design and Analysis;Börger,2003
3. Modularity and reusability in attribute grammars;Kastens;Acta Informatica,1994
4. Lämmel, R., Declarative aspect-oriented programming, in: O. Danvy, editor, Proceedings PEPM'99, 1999 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation PEPM'99, San Antonio (Texas), BRICS Notes Series NS-99-1, 1999, pp. 131–146
5. Evolution of Rule-Based Programs;Lämmel;Journal of Logic and Algebraic Programming,2004