Towards a formal description of ada - Bjorner D Ed.; Oest O N Ed. (Berlin Springer Verlag, 1980)
Bibliography 625-629p.
Keywords: Computer science