Możliwe Zdarzenia W Branching-Time. Diametros 2005, Nr 3, 1-26. https://doi.org/10.13153/diam.3.2005.70.