Możliwe zdarzenia w branching-time. Diametros, [S. l.], n. 3, p. 1–26, 2005. DOI: 10.13153/diam.3.2005.70. Disponível em: https://diametros.uj.edu.pl/diametros/article/view/70. Acesso em: 31 lip. 2026.