| 386 | -- | 398 | Ian Sommerville, Ronny Thomson. An Approach to the Support of Software Evolution |
| 399 | -- | 412 | M. W. Shields. Implicit System Specification and the Interface Equation |
| 413 | -- | 421 | Robin M. Gallimore, Derek Coleman, Victoria Stavridou. UMIST OBJ: A Language for Executable Progam Specifications |
| 422 | -- | 431 | C. McDonald, Lloyd Allison. Denotational Semantics of a Command Interpreter and Their Implementation in Standard ML |
| 432 | -- | 436 | Brian A. Wichmann. Towards a Formal Specification of Floating Point |
| 437 | -- | 444 | Luigi V. Mancini, Giuseppe Pappalardo. Proving Correctness Properties of a Replicated Synchronous Program |
| 445 | -- | 452 | Vincent P. Heuring, Uwe Kastens, R. G. Plummer, William M. Waite. COMAR: A Data Format for Integration of CFG Tools |
| 453 | -- | 460 | Panayotis Tsanakas, Nikitas A. Alexandridis, George K. Papakonstantinou. An FP-Based Design Methodology for Problem-Oriented Architectures |
| 461 | -- | 469 | D. I. Bevan, Geoffrey L. Burn, R. J. Karia, J. D. Robson. Principles For the Design of a Distributed Memory Architecture for Parallel Graph Reduction |
| 470 | -- | 473 | M. C. Er. A New Algorithm for Generating Binary Trees Using Rotations |
| 474 | -- | 476 | John A. Ellis, P. M. Lepolesa. A Las Vegas Graph Colouring Algorithm |