Algebraic Methodology and Software Technology 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings - Meseguer, José; Roşu, Grigore (Springer Berlin Heidelberg, 2008)