José Meseguer Grigore Rosu Algebraic Methodology and Software Technology, 12th International Conference, AMAST 2008, Urbana, IL, USA, July 28-31, 2008, Proceedings 5140 2008 978-3-540-79979-5 AMAST Lecture Notes in Computer Science Springer db/conf/amast/amast2008.html