“Possible events in branching-time model”, Diametros, no. 3, pp. 1–26, Mar. 2005, doi: 10.13153/diam.3.2005.70.