Algebraic Methodology and Software Technology : 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, Proceedings - Meseguer, José (Herausgeber); Rosu, Grigore (Herausgeber) (Programming and Software Engineering, 2008)