[1] J. Beneš: Teorie systémů. Academia, Praha 1974.
[2] R. Bek: Logika pro kurs automatizovaných systémů. ČVUT, Praha 1976.
[3] J. Ježek:
Univerzální algebra a teorie modelů. SNTL, Praha 1976.
MR 0546057
[4] J. B. Novik: O modelirovanii složnych sistem. Moskva 1972.
[5] H. Starke: Abstrakte Automaten. Akademie-Verlag, Berlin 1965.