| 1977 | Correctness of Recursive Flow Diagram Programs. | Joseph A. Goguen, Jos Meseguer |
| 1977 | Algebra and Logic in Theoretical Computer Science. | Ferenc Gcseg, Pter Ecsedi-Tth |
| 1977 | Correctness of Mixed Computation in Algol-Like Programs. | Andrei P. Ershov, V. E. Itkin |
| 1977 | A New Type of Models of Computation. | Erwin Engeler |
| 1977 | Finite Automaton from a Flowchart Scheme Point of View. | Calvin C. Elgot |
| 1977 | Comparison of the Active Visiting and the Crossing Complexities. | Michal Chytil |
| 1977 | Complexity and Minimality of Context-Free Grammars and Languages. | Anton Cern |
| 1977 | Classification of the Context-Free Languages. | Luc Boasson |
| 1977 | A Comparative Review of Some Program Verification Methods. | Andrzej Blikle |
| 1977 | An Algebraic Approach to Problem Solution and Problem Semantics. | Alberto Bertoni, Giancarlo Mauri, Mauro Torelli |
| 1977 | Characterization of Recognizable Families by Means of Regular Languages. | Vclav Benda, Kamila Bendov |
| 1977 | Semantics of Infinite Processes Using Generalized Trees. | J. W. de Bakker |
| 1977 | Pushdown-Automata and Families of Languages Generating Cylinders. | Jean-Michel Autebert |
| 1977 | Classes of Structurally Isomorphic {NP}-Optimization Problems. | Giorgio Ausiello, Alessandro D'Atri, Marco Gaudiano, Marco Protasi |
| 1977 | On the Structure and Properties of NP-Complete Problems and Their Associated Optimization Problems. | Giorgio Ausiello |
| 1977 | Generalized Probabilistic Grammars. | Valery N. Agafonov |
| 1976 | Equivalence and Optimization of Recursive Program Schemata. | Zbigniew Zwinogrodzki |
| 1976 | On Sequential Modelling of Non-Sequential Processes. | Jzef Winkowski |
| 1976 | Some Fundamentals of Order-Algebraic Semantics. | Eric G. Wagner, Jesse B. Wright, Joseph A. Goguen, James W. Thatcher |
| 1976 | The Influence of the Data Presentation on the Computational POwer of Machines. | Rutger Verbeek, Klaus Weihrauch |
| 1976 | Recursive Program Schemas and Computable Functionals. | Boris A. Trakhtenbrot |
| 1976 | On the Domain of Iteration in Iterative Algebraic Theories. | Jerzy Tiuryn |
| 1976 | Decision Problems for Multi-Tape Automata. | Peter H. Starke |
| 1976 | Powerdomains. | Michael B. Smyth |
| 1976 | A Mathematical Model of Parallel Information Processing. | Andrzej Skowron |