Jürgen Uhl. A Formal Definition of Diana. In Peter J. L. Wallis, editor, Ada Software Tools Interfaces, Workshop, Bath, UK, July 13-15, 1983, Proceedings. Volume 180 of Lecture Notes in Computer Science, pages 35-47, Springer, 1983.
@inproceedings{Uhl83, title = {A Formal Definition of Diana}, author = {Jürgen Uhl}, year = {1983}, researchr = {https://researchr.org/publication/Uhl83}, cites = {0}, citedby = {0}, pages = {35-47}, booktitle = {Ada Software Tools Interfaces, Workshop, Bath, UK, July 13-15, 1983, Proceedings}, editor = {Peter J. L. Wallis}, volume = {180}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-13878-1}, }