Rule Interchange and Applications - Governatori, Guido; Hall, John; Kanade, Takeo; Paschke, Adrian (Springer Berlin Heidelberg, 2009)