Dines Bjørner, Ole N. Oest. The DDC Ada Compiler Development Project. In Dines Bjørner, Ole N. Oest, editors, Towards a Formal Description of Ada. Volume 98 of Lecture Notes in Computer Science, pages 1-20, Springer, 1980.
@inproceedings{BjornerO80, title = {The DDC Ada Compiler Development Project}, author = {Dines Bjørner and Ole N. Oest}, year = {1980}, tags = {compiler}, researchr = {https://researchr.org/publication/BjornerO80}, cites = {0}, citedby = {0}, pages = {1-20}, booktitle = {Towards a Formal Description of Ada}, editor = {Dines Bjørner and Ole N. Oest}, volume = {98}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-10283-3}, }