Certain relations between properties of maps of tessellation automata
Linear realization of finite automata
Theory of ω-languagesI: Characterizations of ω-context-free languages
Theory of ω-languages. II: A study of various models of ω-type generation and recognition
A characterization of weakest preconditions
Computation and construction universality of reversible cellular automata
Algebraic properties of derivation words
Space-bounded reducibility among combinatorial problems