| 499 | -- | 506 | Panagiotis Tsanakas, George K. Papakonstantinou, G. Efthivoulidis. Distributed shared-memory implementation for multitransputer systems |
| 507 | -- | 512 | Michiel van Genuchten, G. Brethouwer, T. van den Boomen, F. Heemstra. Empirical study of software maintenance |
| 513 | -- | 521 | Vincenza Carchiolo, Alberto Faro, Daniela Giordano. Formal description techniques and automated protocol synthesis |
| 523 | -- | 531 | Bogdan Korel, Horst F. Wedde, Roger Ferguson. Dynamic method of test data generation for distributed software |
| 533 | -- | 541 | Peter J. Barclay, Jessie B. Kennedy. Semantic integrity for persistent objects |
| 543 | -- | 551 | W. L. Yeung, P. Smith, G. Topping, E. Bailey. Theoretical basis for Jackson System Development |
| 553 | -- | 0 | S. Webster. Software specification and design: a disciplined approach for real-time systems (Wiley Series in Software Engineering Practice) : K Shumate and M Keller John Wiley (1992) 432 pp £44.95 ISBN 0 471 53296 7 |
| 554 | -- | 0 | D. Ince. Beauty is our business - a birthday salute to Edsger Dijkstra (Springer-Verlag texts and monographs in Computer Science) : W H J Feijen, A J M van Gasteren, D Gries and J Misra (eds) Springer-Verlag (1990) 453 pp £35.00 ISBN 0 994 40520 2 |
| 554 | -- | 555 | S. Tracey. Topics in advanced language implementation : Peter Lee (ed) MIT Press (1991) 402 pp £35.95 ISBN 0 262 12151 4 |
| 555 | -- | 0 | S. Webster. Object-oriented design : Peter Robinson (ed) Chapman and Hall (1992) 216 pp £65.00 ISBN 0 412 40520 2 |