@inproceedings{DamPW08,
  title = {Instantiation for Parameterised Boolean Equation Systems},
  author = {Arthur van Dam and Bas Ploeger and Tim A. C. Willemse},
  year = {2008},
  doi = {10.1007/978-3-540-85762-4_30},
  url = {http://dx.doi.org/10.1007/978-3-540-85762-4_30},
  tags = {C++},
  researchr = {https://researchr.org/publication/DamPW08},
  cites = {0},
  citedby = {0},
  pages = {440-454},
  booktitle = {ictac},
}

@article{BravenboerDOV06,
  title = {Program Transformation with Scoped Dynamic Rewrite Rules},
  author = {Martin  Bravenboer and Arthur van Dam and Karina Olmos and Eelco Visser},
  year = {2006},
  url = {https://content.iospress.com/articles/fundamenta-informaticae/fi69-1-2-06},
  tags = {programming languages, semantics, rule-based, formal semantics, graph transformation, dynamic rewrite rules, Stratego/XT, transformation language, term rewriting, language design, graph-rewriting, rules, operational semantics, context-aware, access control, rewriting, design, role-based access control, rewriting strategies, transformation, Stratego, program transformation},
  researchr = {https://researchr.org/publication/BravenboerDOV06},
  cites = {0},
  citedby = {4},
  journal = {FUIN},
  volume = {69},
  number = {1-2},
  pages = {123-178},
}