Reasoning about knowledge - Fagin Ronald, and others (Cambridge MIT Press, 1995)
Bibliography: p 463-87