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