LILEANNE [#!Batory2:1993!#] (library Interconnect language extended with annotated Ada) is intended to support abstraction, composition, and reuse of Ada software.