@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"
}