[2] BENDA V., BENDOVÁ K.: On Families Recognizable by Finite Branching Automata. (in preparation).
[3] KATĚTOV M.: O základech matematického vyjadřování plánu. Mimeographed report, Faculty of Mathematics and Physics, Charles University, 1974.
[4] MALCEV A. I.:
Algebraičeskije sistemy. Nauka, Moscow 1970.
MR 0282908
[6] VOPĚNKA P., HÁJEK P.:
The Theory of Semisets. Academia, Prague and North-Holland, Amsterdam, 1972.
MR 0444473