Proceedings of the 2006 annual ACM SIGAda international conference on Ada
ACM Digital Library