এই পাঠটি: Towards a formal description of Ada /