| 1025 | -- | 1037 | Chi Y. Lin, Reuven R. Levary. Computer-Aided Software Development Process Design |
| 1038 | -- | 1052 | Gultekin Özsoyoglu, Huaqing Wang. A Relational Calculus with Set Operators, Its Safety and Equivalent Graphical Languages |
| 1053 | -- | 1065 | Rajive Bagrodia. Process Synchronization: Design and Performance Evaluation of Distributed Algorithms |
| 1066 | -- | 1077 | Jun-Ichi Aoe. An Efficient Digital Search Algorithm by Using a Double-Array Structure |
| 1078 | -- | 1089 | Joshua Etkin, John A. Zinky. Development Life Cycle of Computer Networks: The Executable Model Approach |
| 1090 | -- | 1108 | Sandra A. Mamrak, Michael J. Kaelbling, Charles K. Nicholas, Michael Share. Chameleon: A System for Solving the Data-Translation Problem |
| 1109 | -- | 1119 | Daniel Troy, Clement T. Yu, Weining Zhang. Linearization of Nonlinear Recursive Rules |
| 1120 | -- | 1130 | Ashok Malhotra, Harry M. Markowitz, Yakov Tsalalikhin, Donald P. Pazel, Luanne M. Burns. An Entity Relationship Programming Language |
| 1131 | -- | 1135 | John A. Lehman. An Empirical Comparison of Textual and Graphical Data Structure Documentation for Cobol Programs |
| 1135 | -- | 1137 | Chi-Sung Laih, Lein Harn, Jau-Yien Lee. On the Design of a Single-Key-Lock Mechanism Based on Newton s Interpolating Polynomial |