481 | -- | 485 | C. J. van Rijsbergen. A Non-Classical Logic for Information Retrieval |
486 | -- | 494 | R. M. Lea. VLSI and WSI Associative String Processors for Cost-Effective Parallel Processing |
495 | -- | 499 | W. F. Clocksin. Automatic Specilisation of Standard Designs |
500 | -- | 505 | M. Elizabeth C. Hull. Implementations of the CSP Notation for Concurrent Systems |
506 | -- | 521 | Lalit M. Patnaik, Julie Basu. Two Tools for Interprocess Communication in Distributed Data-Flow Systems |
522 | -- | 526 | Reuven R. Levary, William D. Edwards. Analysing the Impact of Adding a New Software System on Main Memory Usage |
527 | -- | 530 | D. Mackay, G. Ball, Malcolm K. Crowe, M. Hughes, David G. Jenkins, Clark Nicol. A UNIX-Based System for Software Configuration Management |
531 | -- | 537 | Paritosh K. Pandya, Mathai Joseph. A Structure-Directed Total Correctness Proof Rule for Recursive Procedure Calls |
538 | -- | 544 | Anthony J. Cowling. Type Checking in Polymorphic Languages |
545 | -- | 552 | Philip Leith. Fundamental Errors in Legal Logic Programming |
553 | -- | 563 | Massimo Ancona, Leila De Floriani, Jitender S. Deogun. Path Problems in Structured Graphs |
564 | -- | 571 | K. J. MacCallum, J. M. Zhang. Curve-Smoothing Techniques Using B-Splines |