Algebraic methodology and software technology. 12th international conference, AMAST 2008, Urbana, IL, USA, July 28--31, 2008. Proceedings
scientific article