Proceedings of the ACM-SIGPLAN symposium on The ADA programming language
ACM Digital Library