computations of relations, Specification and verification (program logics, model checking, etc.), categorical theory of automata, autonomous automata, Research exposition (monographs, survey articles) pertaining to computer science, Analysis of algorithms and problem complexity, syntactic correctness of programs, Categories of machines, automata, complexity of parsing, Formal languages and automata, Theory of compilers and interpreters, work problems, formal series, Semigroups in automata theory, linguistics, etc., survey, Word problems, etc. in computability and recursion theory, time and space complexity measures of computations