„Możliwe zdarzenia w branching-time”, Diametros, nr 3, s. 1–26, mar. 2005, doi: 10.13153/diam.3.2005.70.