William D. Young, Donald I. Good. Generics and verification in Ada. In Paul W. Abrahams, editor, Proceedings of the ACM-SIGPLAN symposium on The ADA programming language, SIGPLAN 1980, Boston, Massachusetts, USA, December 9, 1980. pages 123-127, ACM, 1980. [doi]
@inproceedings{YoungG80, title = {Generics and verification in Ada}, author = {William D. Young and Donald I. Good}, year = {1980}, doi = {10.1145/947783.948649}, url = {https://doi.org/10.1145/947783.948649}, researchr = {https://researchr.org/publication/YoungG80}, cites = {0}, citedby = {0}, pages = {123-127}, booktitle = {Proceedings of the ACM-SIGPLAN symposium on The ADA programming language, SIGPLAN 1980, Boston, Massachusetts, USA, December 9, 1980}, editor = {Paul W. Abrahams}, publisher = {ACM}, isbn = {978-0-89791-030-9}, }