- Jouko A. Väänänen, editor, Generalized Quantifiers and Computation, 9th European Summer School in Logic, Language, and Information, ESSLLI 97 Workshop, Aix-en-Provence, France, August 11-22, 1997, Revised Lectures. Volume 1754 of Lecture Notes in Computer Science, Springer, 2000.