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