SOFSEM '94 : proceedings : contributed talks - Bartošek, Miroslav, 1957- (Institut of Computer Science, Masaryk University, 1994)