| 481 | -- | 489 | Rik Maes, J. E. M. van Dijk. On the Role of Ambiguity and Incompleteness in the Design of Decision Tables and Rule-Based Systems |
| 490 | -- | 495 | Pankaj Goyal, T. S. Narayanan. Dictionary Machine with Improved Performance |
| 496 | -- | 502 | R. Cole, Clare Foxcroft. An Experiment in Clock Synchronisation |
| 503 | -- | 509 | Greg O Shea. Controlling the Dependency of User Access Control Mechanisms on Correctness of User Identification |
| 517 | -- | 524 | Martin C. Henson. Higher-Order Transformations and Type Simulations |
| 525 | -- | 530 | John Kontos, John C. Cavouras. Knowledge Acquisition from Technical Texts Using Attribute Grammars |
| 531 | -- | 539 | Paul A. Bailes. An Advanced Problem-Oriented Introduction to Imperative Programming with Modula-2 |
| 540 | -- | 544 | Alan Dearle, Alfred L. Brown. Safe Browsing in a Strongly Typed Persistent Environment |
| 545 | -- | 549 | Zbigniew J. Czech. Efficient Implementation of Detection of Undefined Variables |
| 550 | -- | 552 | Giorgio Guariso, Hannes Werthner. A Software Base For Environmental Studies |
| 553 | -- | 556 | S. Dvorák, Branislav Durian. Merging by Decomposition Revisited |
| 557 | -- | 560 | M. C. Er. A Smooth Reshuffling Algorithm for Solving the Bulterman s Problem |
| 561 | -- | 563 | Francis Suraweera, J. M. Al-Anzy. Analysis of a Modified Address Calculation Sorting Algorithm |
| 564 | -- | 565 | Jean Marcel Pallo. Some Properties of the Rotation Lattice of Binary Trees |
| 565 | -- | 566 | Chin-Chen Chang, C. Y. Chen. A Recursive Performance Formula of the Disc Modulo Allocation Method for Binary Cartesian Product Files |
| 567 | -- | 569 | Graham M. Megson, David J. Evans. Improved Matrix Product Computation Using Double-Pipeline Systolic Arrays |
| 570 | -- | 572 | M. H. Rennhackkamp, Sebastiaan H. von Solms. On Using an Abstract Model of Distributed Database Concurrency Control Methods |