Ada semantic interface specification (ASIS). - James B. Bladen; David Spenhoff; Steven J. Blake (TRI-Ada, 1991)