| 547 | -- | 554 | Eerke Boiten, Helmuth Partsch, Daniel Tuijnman, Norbert Völker. How to Produce Correct Software - An Introduction to Formal Specification and Program Development by Transformations |
| 555 | -- | 566 | Peter G. Harrison. A Higher-Order Approach to Parallel Algorithms |
| 567 | -- | 573 | Peter Gorm Larsen, Nico Plat. Standards for Non- Executable Specification Languages |
| 574 | -- | 578 | D. Richard Kuhn. A Technique for Analyzing the Effects of Changes in Formal Specifications |
| 579 | -- | 599 | L. M. Barroca, John A. McDermid. Formal Methods: Use and Relevance for the Development of Safety-Critical Systems |
| 600 | -- | 610 | Lesley Semmens, Robert B. France, Thomas W. G. Docker. Integrated Structured Analysis and Formal Specification Techniques |
| 611 | -- | 622 | Vojislav B. Misic, L. Dusan Velasevic, Branislav Lazarevic. Formal Specification of a Data Dictionary for an Extended ER Data Model |
| 623 | -- | 624 | G. O Neill. Automatic Translation of VDM Specifications into Standard ML Programs (Short Note) |
| 625 | -- | 629 | Ivan Bruha. Al Multilanguage System McPOPLOG: The Power of Communication Between its Subsystems |
| 630 | -- | 635 | Ferruccio Barsi, Maria Cristina Pinotti. Adding Flexibility to Hybrid Number Systems |
| 636 | -- | 642 | Ian J. Davis. A Fast Radix Sort |
| 643 | -- | 650 | Bing-Chao Huang, Michael A. Langston. Fast Stable Merging and Sorting in Constant Extra Space |
| 651 | -- | 654 | A. P. Robson, D. J. Kinniment. SIMSTRICT: A Behavioural Simulator for Use with the STRICT Hardware Description Language (Short Note) |
| 654 | -- | 658 | Caroline M. Eastman, Robert P. Trueblood. Occupancy Models for the Estimation of Block Accesses |
| 658 | -- | 660 | Chu-Hsing Lin, Chin-Chen Chang, Richard C. T. Lee. A Record-Oriented Cryptosystem for Database Sharing (Short Note) |
| 660 | -- | 662 | A. P. Korah, M. R. Kaimal. A Short Note on Perfectly Balanced Binary Search Trees |
| 662 | -- | 666 | Yodung-Chang Hou, Jong-Chuang Tsay. On Equivalent Systolic Designs of LU Decomposition and Its Algebraic Representation (Short Note) |
| 666 | -- | 668 | Yannis Manolopoulos. Reverse Chaining for Answering Temporal Logical Queries (Short Note) |