Invited Papers.- Formal Methods in CafeOBJ.- The Essence of XML (Preliminary Version).- To the Ga...