SOFSEM' 93 Proceedings : Invited Talks - Bartošek, Miroslav (Ústav výpočetní techniky, 1993)