Seol mar théacs é seo: Towards a formal description of Ada /