| 653 | -- | 668 | Steve Benford, John Bowers, Lennart E. Fahlén, John A. Mariani, Tom Rodden. Supporting Cooperative Work in Virtual Environments |
| 669 | -- | 682 | Danny Chiang Choon Poo, Shwu-Yi Lee. An Object-Oriented Systems Modelling Method based on the Jackson Approach |
| 683 | -- | 690 | Helen E. Thomson, Pam J. Mayhew. The Software Process: A Perspective on Improvement |
| 691 | -- | 697 | Ken Tindell, Alan Burns. Fixed Priority Scheduling of Hard Real-time Multi-media Disk Traffic |
| 698 | -- | 710 | Chung-Ming Huang, Jenq-Muh Hsu. An Incremental Protocol Verification Method |
| 711 | -- | 714 | W. Ken Jackson, F. Warren Burton. A Definite and Unfoldable, Partially Deterministic Language |
| 715 | -- | 719 | Jiang-Hsing Chu, Gary D. Knott. An Analysis of Spiral Hashing |