@CONFERENCE{MTMT:26135941,
	title = {A framework for refactoring Clean programs},
	url = {https://m2.mtmt.hu/api/publication/26135941},
	author = {Diviánszky, Péter and Szabóné Nacsa, Rozália and Horváth, Zoltán},
	booktitle = {ICAI '2004 - 6th International Conference on Applied Informatics},
	unique-id = {26135941},
	year = {2004},
	pages = {1},
	orcid-numbers = {Horváth, Zoltán/0000-0001-9213-2681}
}

@CONFERENCE{MTMT:2112934,
	title = {Prototype Environment for Refactoring Clean programs},
	url = {https://m2.mtmt.hu/api/publication/2112934},
	author = {Szabóné Nacsa, Rozália and Diviánszky, Péter and Horváth, Zoltán},
	booktitle = {Conference of PhD Students in Computer Science CS2},
	unique-id = {2112934},
	year = {2004},
	pages = {113-113},
	orcid-numbers = {Horváth, Zoltán/0000-0001-9213-2681}
}

@CONFERENCE{MTMT:2112100,
	title = {Prototype Environment for Refactoring Clean Programs},
	url = {https://m2.mtmt.hu/api/publication/2112100},
	author = {Szabóné Nacsa, Rozália and Diviánszky, Péter and Horváth, Zoltán},
	booktitle = {P5roceedigns of AFP'04 Student Session},
	unique-id = {2112100},
	year = {2004},
	pages = {19-23},
	orcid-numbers = {Horváth, Zoltán/0000-0001-9213-2681}
}

@CONFERENCE{MTMT:2112096,
	title = {Refactoring via Database Representation},
	url = {https://m2.mtmt.hu/api/publication/2112096},
	author = {Diviánszky, Péter and Szabóné Nacsa, Rozália and Horváth, Zoltán},
	booktitle = {6th International Conference on Applied Informatics},
	unique-id = {2112096},
	year = {2004},
	pages = {129-135},
	orcid-numbers = {Horváth, Zoltán/0000-0001-9213-2681}
}

@article{MTMT:31853769,
	title = {An Environment for Safe Refactoring Clean Programs},
	url = {https://m2.mtmt.hu/api/publication/31853769},
	author = {Szabóné Nacsa, Rozália and Diviánszky, Péter and Horváth, Zoltán},
	journal-iso = {ACTA CYBERN-SZEGED},
	journal = {ACTA CYBERNETICA},
	volume = {14},
	unique-id = {31853769},
	issn = {0324-721X},
	year = {1999},
	eissn = {2676-993X},
	pages = {1},
	orcid-numbers = {Horváth, Zoltán/0000-0001-9213-2681}
}