Algebraic methodology and software technology 11th international conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, proceedings /

מאת International conference on algebraic methodology and software technology, Johnson, Michael., Vene, Varmo.
יצא לאור 2006.

Algebraic methodology and software technology 12th International Conference, AMAST 2008, Urbana, IL, USA, July 28-31, 2008 : proceedings /

מאת International Conference on Algebraic Methodology and Software Technology, Meseguer, José., Rosu, Grigore.
יצא לאור c2008

Algebraic methodology and software technology : 7th International conference, AMAST '98 proceedings / Armando Martin Haeberer (coordenador).

מאת International Conference on Algebraic Methodology and Software Technology (AMAST '98), Haeberer, Armando Martin.
יצא לאור 1999.