@incollection{CalVai:88,
  publisher = {Univ. Bra\c sov},
  address = {Bra\c sov},
  title = {Languages, effectivity and constructive mathematics},
  author = {Calude, Cristian and Vaida, Drago{\c{s}}},
  year = {1988},
  booktitle = {Papers of the Second National Colloquium on Language, Logic and
               Mathematical Linguistics (Romanian) (Bra\c sov, 1988)},
  pages = {47--57},
}