01102nam 2200361 450 9900004830102033160048301USA010048301(ALEPH)000048301USA01004830120010530d1980----km-y0itay0103----baengDE||||||||001yyTowards a formal description of ADAedited by D. Bjorner and O. N. OestBerlinSpringer Verlag1980XII, 630 p.25 cmLecture notes in computer science982001Lecture notes in computer science98001.6424OEST,O.N.BJORNER,D.ITsalbcISBD990000483010203316001 LNCS 98A14362 SM001 LNCS00101444001 LNCS 98B10640 SM001 LNCS00101444BKSCIPATTY9020010530USA01153720020403USA011657PATRY9020040406USA011633Towards a formal description of ADA888434UNISA