Proceedings of the 2011 ACM annual international conference on Special interest group on the ada programming language
ACM Digital Library