Zhengqiang Chen Baowen Xu Jianjun Zhao Hongji Yang Static Dependency Analysis for Concurrent Ada 95 Programs. 219-230 2002 conf/adaEurope/2002 Ada-Europe http://link.springer.de/link/service/series/0558/bibs/2361/23610219.htm db/conf/adaEurope/adaEurope2002.html#ChenBZY02