Towards a formal Description of Ada (1980)