@Article{371077,
     author = "Mateusz Klinowski",
     title = "Możliwe zdarzenia w branching-time",
     year =  2005,
     volume =  ,
     number =  3,
     journal =  Diametros,
     pages =  s. 1-26,
    }