AMAST'2002 9th International Conference on Algebraic Methodology And Software Technology