Olivier Danvy, Carolyn L. Talcott: Introduction. High. Order Symb. Comput. 12(2): 123-124 (1999)