| 378 | -- | 382 | Edsger W. Dijkstra. On Binary Operators and Their Derived Relations |
| 383 | -- | 390 | Bo Einarsson. Tutorial on Analytical Methods as a Complement ot Numerical Computing |
| 391 | -- | 396 | Paul Erdös, Hans Riesel. On Admissible Constellations of Consecutive Primes |
| 397 | -- | 405 | Andrei P. Ershov. Basic Concepts of Algorithms and Programming to be Taught in a School Course in Informatics |
| 406 | -- | 411 | Carl-Erik Fröberg. On a Combinatorial Problem Related to Permanents |
| 412 | -- | 426 | Brian H. Mayoh. On Formalisms |
| 427 | -- | 438 | Anders P. Ravn, Hans Rischel, Hans Henrik Løvengreen. A Design Method for Embedded Software Systems |
| 439 | -- | 449 | K. W. Smillie. Array Theory and the Nial Programming Language |
| 450 | -- | 472 | Edda Sveinsdottir, Erik Frøkjær. Datalogy - The Copenhagen Tradition of Computer Science |
| 473 | -- | 486 | Wladyslaw M. Turski. Time Considered Irrelevant for Real-Time Systems |
| 490 | -- | 503 | Annika Aasa, Sören Holmström, Christina Nilsson. An Efficiency Comparison of Some Representations of Purely Functional Arrays |
| 504 | -- | 529 | J. W. de Bakker, John-Jules Ch. Meyer. Metric Semantics for Concurrency |
| 530 | -- | 551 | Edward K. Blum. The Semantics and Complexity of Parallel Programs for Vector Computations. Part I: A Case Study Using Ada |
| 552 | -- | 568 | Jens Clausen, Jakob Krarup. Arranging Apples in an Array |
| 569 | -- | 572 | David Gries, Jinyun Xue. Generating a Random Cycle Permutation |
| 573 | -- | 580 | Peter Johansen. Inductive Inference of Ultimately Periodic Sequences |
| 581 | -- | 604 | Reino Kurki-Suonio, T. Kankaanpää. On the Design of Reactive Systems |
| 605 | -- | 619 | Bengt Nordström. Terminating General Recursion |
| 620 | -- | 638 | Jørgen Staunstrup, Mark R. Greenstreet. From High-Level Descriptions to VLSI Circuits |
| 639 | -- | 0 | Alan Stewart. SIMD Language Design Using Prescriptive Semantics |