Note: Z Proc. 1990 Symp. Theoretical Aspects of Comp. Science, Lecture Notes of Computer Science, Vol. 415, 298-311, přeložil D. Olejár.
Note: From the Proc. 1990 Symp. Theoretical Aspects of Comp. Science, Lecture Notes of Computer Science, Vol. 415, 298-311, translated by D. Olejár.