Reasoning about Knowledge

9780262562003
0-262-56200-6