Algebraic Methodology and Software Technology : 11th International Conference, AMAST 2006 : Kuressaare, Estonia, July 2006 : proceedings
Johnson, Michael
;
Vene, Varmo
2006
https://www.ester.ee/record=b2160509*est