Abstract delta modelling

@article{Clarke2015AbstractDM,
  title={Abstract delta modelling},
  author={Dave Clarke and Michiel Helvensteijn and Ina Schaefer},
  journal={Mathematical Structures in Computer Science},
  year={2015},
  volume={25},
  pages={482-527}
}