Enviar aquest missatge de text: The implementation and use of Ada on distributed systems with high reliability requirements : semi-annual progress report / submitted by J.C. Knight, S.T. Gregory, J.I.A. Urquhart.