@conference {TGyJ88,
	title = {{Implementation of a LOTOS precompiler in PROF-LP}},
	booktitle = {Proceedings of the Fourth Conference of Program Designers},
	year = {1988},
	month = {jun},
	pages = {31-36},
	author = {J. Toczki and Tibor Gyim{\'o}thy and G. J{\'a}hni}
}
@conference {conf/cc/GyimothyHKT88,
	title = {{Incremental Algorithms in Prof-LP}},
	booktitle = {CC},
	series = {Lecture Notes in Computer Science},
	volume = {371},
	year = {1988},
	pages = {93-102},
	publisher = {Springer},
	organization = {Springer},
	keywords = {dblp},
	isbn = {3-540-51364-7},
	url = {http://dblp.uni-trier.de/db/conf/cc/cc88.html$\#$GyimothyHKT88},
	author = {Tibor Gyim{\'o}thy and T. Horv{\'a}th and Kocsis, F. and J. Toczki},
	editor = {Hammer, Dieter}
}
