Transforming Ada Serving Tasks into Protected Objects. - Li, Bangqing; Xu, Baowen; Yu, Huiming (1998)