| 1 | -- | 29 | Amir Pnueli, Lenore D. Zuck. Probabilistic Verification |
| 30 | -- | 67 | Seymour Ginsburg, Dan A. Simovici, Xiaoyang Sean Wang. Content-Related Interval Queries on Object Histories |
| 68 | -- | 85 | Richard Beigel, William I. Gasarch, John Gill, James C. Owings. Terse, Superterse, and Verbose Sets |
| 86 | -- | 113 | Moreno Falaschi, Giorgio Levi, Maurizio Martelli, Catuscia Palamidessi. A Model-Theoretic Reconstruction of the Operational Semantics of Logic Programs |
| 114 | -- | 158 | José Meseguer, Joseph A. Goguen. Order-Sorted Algebra Solves the Constructor-Selector, Multiple Representation, and Coercion Problems |