Algebraic Methodology and Software Technology - Meseguer, JosÃ©; Kanade, Takeo; RoÅŸu, Grigore; Kittler, Josef (Springer Berlin Heidelberg, 2008)