Input-output systems, their types and applications for the automata theory Milan Růžička (1982) Kybernetika