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