H. van Ditmarsch, W. van der Hoek, and B. Kooi. Proceedings of the 15th International Conference on Conceptual Structures (ICCS 2007), volume 4604 of Lecture Notes in Artificial Intelligence, page 45-58. Berlin, Heidelberg, Springer-Verlag, (July 2007)