| 1980 | Node-Label Controllel Graph Grammars. | Dirk Janssens, Grzegorz Rozenberg |
| 1980 | On Atomic Nets and Concurrency Relations. | Ryszard Janicki |
| 1980 | Parallel Algorithms in Graph Theory: Planarity Testing (preliminary version). | Joseph F. JJ, Janos Simon |
| 1980 | Abstract Implementation of Abstract Data Types. | Ulrich L. Hupbach |
| 1980 | A Mathematical Approach to Multi-Pass Parsing. | Berthold Hoffmann, Ilse-Renate Schmiedecke |
| 1980 | A Term Model for CCS. | Matthew Hennessy, Gordon D. Plotkin |
| 1980 | An Eassay about Research on Sparse NP Complete Sets. | Juris Hartmanis, Stephen R. Mahaney |
| 1980 | on And/Or Schemes. | David Harel |
| 1980 | Substitution Systems - A Family of System Models Based on Concurrency. | Hartmann J. Genrich, Kurt Lautenbach, P. S. Thiagarajan |
| 1980 | Compound Algebraic Implementations: An Approach to Stepwise Refinement of Software Systems. | Hartmut Ehrig, Hans-Jrg Kreowski, Bernd Mahr, Peter Padawitz |
| 1980 | On Finding the Optimal Access Path to Resolve a Relational Data Base Query. | Pierpaolo Degano, A. Lomanto, Franco Sirovich |
| 1980 | A Criterion of Undecidability of Algorithmic Theories. | Wiktor Danko |
| 1980 | An Extended Polymorphic Type System for Applicative Languages. | Mario Coppo |
| 1980 | Analog Processes. | Luca Cardelli |
| 1980 | Electronic Category Theory. | Rod M. Burstall |
| 1980 | Consistent Semantics for a Data Flow Language. | J. Dean Brock |
| 1980 | Formal Description of Programming Concepts: A Software Engineering Viewpoint. | Dines Bjrner |
| 1980 | A Theoretical Basis for the Systematic Proof Method. | Wolfgang Bibel |
| 1980 | Proof of a Concurrent Program Finding Euler Paths. | Eike Best |
| 1980 | The Weighted Sperner's Set Problem. | Xavier Berenguer, Josep Daz |
| 1980 | Conceptual Relations between Databases Transformed under Join and Projection. | Giorgio Ausiello, Carlo Batini, Marina Moscarini |
| 1980 | Controlling Behaviours of Systems: Some Basic Concepts and some Applications. | Andr Arnold, Maurice Nivat |
| 1979 | A Turing Machine Oracle Hierarchy. | Stanislav Zk |
| 1979 | On Multitape Automata. | Hideki Yamasaki |
| 1979 | A Survey of Grammar and L Forms-1978. | Derick Wood |