@article{bibcite_14976,
  author = {Artur Rataj and B. Wo{\'z}na and A. Zbrze{\'z}ny},
  title = {A translator of Java programs to TADDs},
  year = {2009},
  journal = {Fundamenta Informaticae 93(1-3), str. 305-324, 2009},
  language = {eng},
}