Enviar aquest missatge de text: Towards a formal description of Ada /