Olivier Danvy, Takayasu Ito, Carolyn L. Talcott: Editorial. High. Order Symb. Comput. 15(1): 5 (2002)