The design of a packet switched network for aeronautical data interchange
Using a multiprocessing hybrid computer for flight simulation
Towards sub-sea robotics - the automatic guidance and control of unmanned submersibles
ADNET: An experiment in computer networking for the Royal Navy
Reliability and flexibility of the IRAS on-board software
A software engineering environment (SEE) for weapon system software