@techreport{
    hajn:03,
    author = "Hajnicz, Elżbieta",
    title = "Przegląd formalnych metod semantycznych",
    year = "2003",
    number = "965",
    address = "Warsaw",
    pdf = "http://nlp.ipipan.waw.pl/Bib/hajn:03.pdf",
    type = "{IPI PAN} Research Report",
    institution = "Institute of Computer Science, Polish Academy of Sciences"
}