2005. Możliwe zdarzenia w branching-time. Diametros. 3 (mar. 2005), 1–26. DOI:https://doi.org/10.13153/diam.3.2005.70.