@phdthesis{hu-350,
  title = {Generatív programok helyessége},
  author = {Norbert Pataki},
  year = {2013},
  url = {https://doktori.hu/index.php?menuid=193&lang=HU&vid=11361},
  researchr = {https://researchr.org/publication/hu-350},
  cites = {0},
  citedby = {0},
  school = {Eötvös Loránd University, Hungary},
}