Rewriting Logic and its Applications, 4th International Workshop (WRLA 2002)