“Possible Events in Branching-Time Model”. Diametros, no. 3 (March 1, 2005): 1–26. Accessed May 27, 2026. https://diametros.uj.edu.pl/diametros/article/view/70.