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

by M Erwig, D Ren
Venue:SIGPLAN Notices