Supplement to the Proceedings of the 8th ICTA (SVŠT v Bratislave, 1985)