Substitution of semi-AFL's. Akira Maruoka , Masayuki Kimura , and Nobuyoshi Shoji . Pattern decomposition for tessellation automata. Concise description of finite languages. On pure, terminal invariant and nonterminal invariant interpretations of E0L forms.
General approximation algorithms for some arithmetical combinatorial problems.
About the implementability and the power of equationally defined data abstractions. Kurt Jensen . Coloured Petri nets and the invariant-method. A note on a problem in the theory of grammatical complexity. Flow equivalence and correctness.