Proceedings of the first international symposium on Environments and tools for Ada
ACM Digital Library