[1] J. Beneš: Teorie systémů. Academia. Praha 1974.
[2] J. Ježek:
Univerzální algebra a teorie modelů. SNTL, Praha 1976.
MR 0546057
[3] J. B. Novik: O modelirovanii složnych sistem. Moskva 1972.
[4] R. Bek M. Růžička:
On modelling of large variable systems of higher order by means of language systems. Kybernetika 15 (1979), 6, 408-418.
MR 0562373
[5] M. Růžička: Some fundamental notions of large variable systems. Kybernetika 17 (1981), 5, 435-450.
[6] M. Růžička:
Input-output systems, their types and applications for the automata theory. Kybernetika 18 (1982), 2, 131 - 144.
MR 0679785
[7] R. Bek: Logika pro kurs automatizovaných systémů. ČVUT, Praha 1976.