Wilson Ifill Steve A. Schneider Helen Treharne Augmenting B with Control Annotations. 34-48 2007 conf/b/2007 B http://dx.doi.org/10.1007/11955757_6 db/conf/b/b2007.html#IfillST07