Sofsem '92 : contributed talks : Magura, Ždiar, Listopad 22 - Prosinec 4, 1992 (Ústav výpočetní techniky MU Brno, 1992)