“Possible Events in Branching-Time Model”. Diametros, no. 3, Mar. 2005, pp. 1-26, https://doi.org/10.13153/diam.3.2005.70.