1. Reference Manual for the ADA® Programming Language
2. LOGIN: A Logic Programming Language With Built-in Inheritance;Aït-Kaci;Microelectronics and Computer Technology Corporation (MCC) Tech. Rep. N. AI-068-85,1985
3. GALILEO: A Strongly Typed, Interactive Conceptual Language;Albano;ACM Trans. on Database Systems,1985
4. A Logic Database to Support Configuration Management in Ada;Asirelli,1987
5. Living in the Next Generation Operating System;Balzer;IFIP 86,1986