| 1 | -- | 15 | Donald E. Knuth. Theory and Practice |
| 17 | -- | 36 | Igor V. Pottosin. Analysis of Program Optimization Possibilities and Further Development |
| 37 | -- | 46 | Victor N. Kasyanov. Transformational Approach to Program Concretization |
| 47 | -- | 60 | Mikhail A. Bulyonkov. From Partial Evaluation to Mixed Computation |
| 61 | -- | 79 | Yoshihiko Futamura, Kenroku Nogi, Akihiko Takano. Essence of Generalized Partial Computation |
| 81 | -- | 93 | V. E. Itkin. An Algebra of Mixed Computation |
| 95 | -- | 118 | Neil D. Jones. Static Semantics, Types, and Binding Time Analysis |
| 119 | -- | 125 | Wladyslaw M. Turski. Prescribing Behaviors |
| 127 | -- | 149 | J. W. de Bakker, J. H. A. Warmerdam. Four Domains for Concurrency |
| 151 | -- | 170 | Ludmila Cherkasova, Vadim E. Kotov. An Algebra of Concurrent Non-Deterministic Processes |
| 171 | -- | 184 | Antoni W. Mazurkiewicz, Alexander Moshe Rabinovich, Boris A. Trakhtenbrot. Connectedness and Synchronization |
| 185 | -- | 198 | Enn Tyugu. Higher Order Dataflow Schemas |
| 199 | -- | 208 | J. M. Barzdin, G. J. Barzdin. Rapid Constructions of Algebraic Axioms From Samples |
| 209 | -- | 233 | Andrzej Blikle, Andrzej Tarlecki, Mikkel Thorup. On Conservative Extensions of Syntax in System Development |
| 235 | -- | 251 | C. A. R. Hoare. A Theory for the Derivation of Combinational C-MOS Circuit Designs |
| 253 | -- | 270 | N. N. Nepejvoda. A Bridge Between Constructive Logic and Computer Programming |