| 1976 | On Adaptability of a System of Programs. | A. Schurmann |
| 1976 | Degrees of Parallelism in Computations. | Vladimir Yu. Sazonov |
| 1976 | Computational Processes Generated by Programs with Recursive Procedures and Block Structures. | Andrzej Salwicki, Tomasz Mldner |
| 1976 | Recent Results on L Systems. | Arto Salomaa |
| 1976 | An Algebraic Framework for the Study of the Syntactic Monoids Application to the Group Languages. | Jacques Sakarovitch |
| 1976 | On the Lower Bound for Minimum Comparison Selection. | Peter Ruzicka, Juraj Wiedermann |
| 1976 | Context-Free Algebra: A Mathematical Device for Compiler Specifications. | Teodor Rus |
| 1976 | Context-Free Programmed Grammars and ETOL Systems. | Grzegorz Rozenberg, Dirk Vermeir |
| 1976 | Dijkstra's Predicate Transformer, Non-Determinism, Recursion and Termination. | Willem P. de Roever |
| 1976 | On a Relationship Between Programs of Address Machines and Mazurkiewicz Algorithms. | Zbigniew W. Ras |
| 1976 | Error Detection Using Regular Languages. | P. Prusinkiewicz |
| 1976 | The Characteristic Polynomial of a Finite Automaton. | Dominique Perrin |
| 1976 | On Mappings of Machines. | Miroslav Novotn |
| 1976 | On the Parsing of LL-Regular Grammars. | Anton Nijholt |
| 1976 | On Divergence Problems for Program Schemas. | Valery A. Nepomniaschy |
| 1976 | Algorithms and Real Numbers. | N. M. Nagorny |
| 1976 | Compiler Generation Using Denotational Semantics. | Peter D. Mosses |
| 1976 | A Complete Axiomatic Characterization of Algorithmic Properties of Block-Structured Programs with Procedures. | Grazyna Mirkowska, Andrzej Salwicki |
| 1976 | On Some Properties of Cyclic Automata and Their Extensions. | Boleslaw Mikolajczak |
| 1976 | Generating Control Mechanisms by Restrictions. | Kurt Lautenbach, Horst F. Wedde |
| 1976 | On Diagnosis of Algorithmical Processes. | Janusz W. Laski |
| 1976 | Determinism in Concurrent Systems. | Wlodzimierz Kwasowiec |
| 1976 | On Memory Requirements of Strassen's Algorithms. | Antoni Kreczmar |
| 1976 | Semigroup Characterizations of Some Language Varieties. | Robert Knast |
| 1976 | Heuristic Representation of State-Space by Finite Automata. | Jozef Kelemen |