A rule-based language for programming software updates (2002)

by M Erwig, D Ren
Venue:In Proceedings of the 2002 ACM SIGPLAN workshop on Rule-based programming