BRANCHING TIME DIAGRAMS
Nuel Belnap, Michael Perloff, and Ming Xu, Facing the Future; Agents and Choices in our Indeterministic World, Oxford University Press, New York, 2001
Suggested by Jim Bogen