Michael B. Feldman Leemon C. Baird III Proceedings of the 2008 Annual ACM SIGAda International Conference on Ada, Portland, OR, USA, October 26-30, 2008 SIGAda ACM 2008 978-1-60558-274-0 https://doi.org/10.1145/1454474 db/conf/sigada/sigada2008.html