Greg Gicca Ricky E. Sward Leemon C. Baird III Proceedings of the 2006 Annual ACM SIGAda International Conference on Ada, Albuquerque, New Mexico, USA, November 12-16, 2006 SIGAda ACM 2006 1-59593-563-0 https://doi.org/10.1145/1185642 db/conf/sigada/sigada2006.html