Sofsem '93 : proceedings : contributed talks - Bartošek, Miroslav, 1957- (Ústav výpočetní techniky MU Brno, 1993)