| 419 | -- | 423 | John Cooke. Formal Methods - Mathematics, Theory, Recipes or What? |
| 424 | -- | 430 | Antony Galton. Classical Logic: A Crash Course for Beginners |
| 431 | -- | 440 | Antony Galton. Logic as a Formal Method |
| 441 | -- | 450 | Jim Woodcock. The Rudiments of Algorithm Refinement |
| 451 | -- | 459 | T. Clement. The Role of Data Reification in Program Refinement: Origins, Synthesis and Appraisal |
| 460 | -- | 467 | Hartmut Ehrig, Bernd Mahr, Ingo Claßen, Fernando Orejas. Introduction to Algebraic Specification. Part 1: Formal Methods for Software Development |
| 468 | -- | 477 | Hartmut Ehrig, Bernd Mahr, Ingo Claßen, Fernando Orejas. Introduction to Algebraic Specification. Part 2: From Classical View to Foundations of System Specifications |
| 478 | -- | 491 | Marten van Sinderen, Luís Ferreira Pires, Chris A. Vissers. Protocol Design and Implementation Using Formal Methods |
| 492 | -- | 500 | Esa Auramäki, Rudy Hirschheim, Kalle Lyytinen. Modelling Offices Through Discourse Analysis: A Comparison and Evaluation of SAMPO with OSSAD and ICN |
| 501 | -- | 513 | Bogdan D. Czejdo, Malcolm C. Taylor. Integration of Information Systems Using an Object-Oriented Approach |
| 514 | -- | 523 | Harald Søndergaard, Peter Sestoft. Non-Determinism in Functional Languages |
| 524 | -- | 526 | Elena Lodi. A Parallel Solution to the Approximate String Matching Problem (Short Note) |
| 527 | -- | 529 | D. J. Challab. Flexible Arrays: Evaluation of the B-Tree Based System (Short Note) |
| 530 | -- | 533 | David Furber. A Survey of the Teaching of Programming to Computer Undergraduates in U.K. Universities and Polytechnics (Short Note) |
| 533 | -- | 535 | David T. H. Ng, B. John Oommen. A Short Note on Doubly-Linked List Reorganizing Heuristics |
| 535 | -- | 537 | Beverly Jamison, Stephan Olariu. Indexing for Multi-Attribute Retrieval (Short Note) |