Horváth T., Gyimóthy T, Alexin Z., Kocsis F..  1993.  Interactive diagnosis and testing of logic programs. Third Finnish- Estonian- Hungarian Symposium on Programming Languages and Software Tools. :34-47.

Toczki J., Gyimóthy T, Horváth T., Kocsis F..  1989.  Generating modular compilers in PROF-LP. Proceedings of the Workshop on Compiler Compilers and High Speed Compilation. :156-166.

Toczki J., Gyimóthy T, Kocsis F..  1989.  SYS-DL, a system development language supporting software quality assurance. First Finnish-Hungarian Workshop on Programming Languages and Software Tools. :307-317.

Toczki J., Gyimóthy T, Kocsis F., Horváth T..  1988.  Automatic Software Generation in Practice: New Features in the HLP/PAS System. Specialized Languages as Tools for Programming Technology. :103–119.

Gyimóthy T, Horváth T., Kocsis F., Toczki J..  1988.  Incremental Algorithms in Prof-LP. CC. 371:93-102.

Gyimóthy T, Kocsis F..  1988.  Incremental generation of the LL(1) parsing table. Proceedings of 2nd Symposium on Automata, Languages and Programming Systems. :157-161.

Toczki J., Gyimóthy T, Horváth T., Kocsis F..  1987.  PROF-LP user’s guide.