Bangqing Li Baowen Xu Huiming Yu Transforming Ada Serving Tasks into Protected Objects. 240-245 1998 SIGAda http://doi.acm.org/10.1145/289524.289633 db/conf/sigada/sigada98.html#LiBY98