| 13 | -- | 28 | Ophir Frieder. Multiprocessor Algorithms for Relational-Database Operators on Hypercube Systems |
| 30 | -- | 39 | Marvin V. Zelkowitz. A Functional Correctness Model of Program Verification |
| 41 | -- | 49 | John J. Darragh, Ian H. Witten, Mark L. James. The Reactive Keyboard: A Predicive Typing Aid |
| 51 | -- | 57 | Yehudah Freundlich. Knowledge Bases and Databases: Converging Technologies, Diverging Interests |
| 59 | -- | 70 | James D. Mooney. Strategies for Supporting Application Portability |
| 71 | -- | 85 | Brad A. Myers, Dario A. Giuse, Roger B. Dannenberg, Brad T. Vander Zanden, David S. Kosbie, Edward Pervin, Andrew Mickish, Philippe Marchal. Garnet: Comprehensive Support for Graphical, Highly Interactive User Interfaces |