Molli, et al.. Using the Transformational Approach to Build a Safe and Generic Data Synchronizer. ACM Press, 2003, doi:10.1145/958160.958194.