| 1976 | The Metric Properties on the Semigroups and the Languages. | Alexandru Dinca |
| 1976 | The Effective Arrangement of Logical Systems. | Edsger W. Dijkstra |
| 1976 | On the Relativization of Deterministic and Nondeterministic Complexity Classes. | Michael I. Dekhtyar |
| 1976 | On the Relationship between a Procedure and its Data. | Armin B. Cremers, Thomas N. Hibbard |
| 1976 | A Note on the Automatic Generation of Inductive Assertions. | Wolfgang Coy |
| 1976 | Programs, Computations and Temporal Features. | Marco Colombetti, Enrico Pagello |
| 1976 | Analysis of the Non-Context-Free Component of Formal Languages. | Michal Chytil |
| 1976 | Strongly Connected G-S-M Mappings Preserving Conjugation. | Christian Choffrut |
| 1976 | On Semantic Issues in the Relational Model of Data. | Jean-Marc Cadiou |
| 1976 | Cannonizing Reducibility Method in the Theory of Program Schemata. | Anatoliy O. Buda |
| 1976 | On Behaviour of R-Fuzzy Automata. | Jrgen Brunner, Wolfgang Wechler |
| 1976 | W-Automata and Their Languages. | Wilfried Brauer |
| 1976 | Reduction of Petri-Nets. | Grard Berthelot, Grard Roucairol |
| 1976 | On the Termination of Simple Computer Programs. | Eberhard Bergmann |
| 1976 | On Specfic Features of Recognizable Families of Languages. | Vclav Benda, Kamila Bendov |
| 1976 | Minimal While Programs. | Edwin Stewart Bainbridge |
| 1976 | Exercises in Denotational Semantics. | Krzysztof R. Apt, J. W. de Bakker |
| 1976 | Formal Definition of Semantics of Generated Control Regimes. | Luigia Carlucci Aiello, Mario Aiello, Giuseppe Attardi, P. Cavallari, Gianfranco Prini |
| 1976 | On Attribute Grammars. | Valery N. Agafonov |
| 1975 | On Some Models of Computability of Boolean Functions. | I. D. Zaslavskii |
| 1975 | A Generalization of Scott's Flow Diagrams. | Boleslaw Wojdylo |
| 1975 | Proving Properties of Programs by Means of Predicate Logic. | Jzef Winkowski |
| 1975 | Inductive Inference of Recursive Functions. | Rolf Wiehagen |
| 1975 | Characterization of Some Classes of Context-Free Languages in Terms of Complexity Classes. | Gerd Wechsung |
| 1975 | R-Fuzzy Grammars. | Wolfgang Wechler |