@techreport{
    hajn:94,
    author = "Hajnicz, Elżbieta",
    title = "Logical description of the present",
    year = "1994",
    number = "767",
    address = "Warsaw",
    type = "{IPI PAN} Research Report",
    institution = "Institute of Computer Science, Polish Academy of Sciences"
}