Sergey Rybin Alfred Strohmeier Ada and ASIS: Justification of Differences in Terminology and Mechanisms. 249-254 1996 TRI-Ada http://doi.acm.org/10.1145/240678.240725 db/conf/sigada/triada96.html#RybinS96