Proceedings of the second annual Washington Ada symposium on Ada: Ada in the mainstream: applications and education