@techreport{ hajn:89b, author = "Hajnicz, Elżbieta", title = "Formalizacja systemu wnioskowania o~zależnościach czasowych między zdarzeniami", year = "1989", number = "658", address = "Warsaw", type = "{IPI PAN} Research Report", institution = "Institute of Computer Science, Polish Academy of Sciences" }