Proceedings of the ACM-SIGPLAN symposium on Ada programming language
On-Campus Access Only (IP based access)