Title: [Plessey computer operations manual]