I just received my autographed copy of Paul Elbourne’s book Situations and Individuals.
MIT Press has a table of contents with some sample chapters to download.
This is a great book (of course, I am not unbiased, having been on Paul’s thesis committee). The Ravenous Bugblatter Beast of Traal plays a crucial role in the solution of the Problem of Indistinguishable Participants (a.k.a. the bishop problem).