John G. P. Barnes SP1: introducing the best of ada 2005. 3 2007 SIGAda http://doi.acm.org/10.1145/1315580.1315584 conf/sigada/2007 db/conf/sigada/sigada2007.html#Barnes07a