Alexei Kuchumov Sergey Rybin Alfred Strohmeier OASIS - An ASIS Secondary Library for Analyzing Object-Oriented Ada Code. 113-122 2001 conf/adaEurope/2001 Ada-Europe http://link.springer.de/link/service/series/0558/bibs/2043/20430113.htm db/conf/adaEurope/adaEurope2001.html#KuchumovRS01