@misc{olah11nagyprogram,
  title = {Függvényspecifikációk generálása RefactorErl keretrendszer felhasználásával},
  author = {Gábor Oláh},
  year = {2011},
  month = {},
  howpublished = {ELTE, Budapest, Hungary},
}