SOFSEM ´93 : Conference proceedings. Contributed Talks - Bartošek, Miroslav (Ústav výpočetní techniky, 1993)