@inproceedings{liu09language,
author = "Yanhong A. Liu and Michael Gorbovitski and Scott D. Stoller",
title = "A Language and Framework for Invariant-Driven Transformations",
booktitle = "Proceedings of the 8th International Conference on Generative
    Programming and Component Engineering (GPCE)",
publisher="ACM Press",
year = 2009
}