1. The KREME knowledge editing environment;Abrett;International Journal of Man-Machine Studies,1987
2. ACTORS: A Model of Concurrent Computation In Distributed Systems;Agha,1987
3. Introduction to the ISO Specification Language LOTOS;Bolognesi;Computer Networks and ISDN Systems,1987
4. Brachman, R., Gilbert, V., and Levesque, H. 1985. An essential hybrid reasoning system: knowledge and symbol level accounts of krypton. In IJCAI 85, pp. 532–539. IJCAI proceedings are available from Morgan Kaufmann Publishers, San Mateo, CA.
5. Computational Intelligence. 1987. (Special Issue on Nonmonotonic Reasoning), 3(3).