Yuan Liu Baowen Xu Process algebra model of Ada protected objects. 34-39 2004 39 SIGPLAN Notices 2 http://doi.acm.org/10.1145/967278.967285 db/journals/sigplan/sigplan39.html#LiuX04