Börger E and Rosenzweig D, 1994. “A mathematical definition of full Prolog” Science of Computer Programming.

Bundy A, Byrd L, Luger G, Mellish C and Milne R, 1979. “Solving mechanics problems using meta-level inference” In Buchanan BG (ed), Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI).

Fromherz MPJ, 1993. “A methodology for executable specifications-combining logic programming, object-orientation and multiple views” PhD thesis, Department of Computer Science, University of Zurich, Switzerland.

Fuchs NE and Fromherz MPJ, 1994. “Transformational development of logic programs from executable specifications-schema-based visual and textual composition of logic programs” In Beckstein C and Geske U (eds), Entwicklung, Test und Wartung deklarativer KI-Programme GMD Studien Nr. 238, Gesellschaft für Informatik und Datenverarbeitung, pp 13–28.

Fuchs NE and Schwitter R, 1996. “Attempto Controlled English (ACE)” CLAW 96, First International Workshop on Controlled Language ApplicationsUniversity of Leuven, Belgium, 03.

Hesketh J, Robertson D, Fuchs N and Bundy A, 1996. “Automating reasoning support for design” Research paper, Department of Artificial Intelligence, University of Edinburgh, Scotland.

Kowalski RA, 1985. The Relation Between Logic Programming and Logic SpecificationPrentice-Hall.

Lloyd JW, 1987. Foundations of Logic ProgrammingSpringer-Verlag.

Kramer B and Mylopoulos J, 1992. “Knowledge representation” In Shapiro SC (ed) Encyclopedia of Artificial IntelligenceWiley.

Lloyd J, 1994. “Practical advantages of declarative programming” Invited lecture, GULP-PRODE '94, Peñiscola, Spain.

Pulman S and Rayner M, 1994. “Computer Processable Controlled Language” SRI International Cambridge Computer Science Research Centre, Cambridge.

Luqi BR, 1993. “Process knowledge based rapid prototyping for requirements engineering” Proceedings IEEE Symposium on Requirements EngineeringSan Diego, CA.

Robertson D, Bundy A, Muetzelfeldt R, Haggith M and Uschold M, 1991. Eco-Logic: Logic-Based Approaches to Ecological ModellingMIT Press (Logic Programming Series).

Robertson D, 1996. “Distributed specification” Proceedings 12th European Conference on Artificial Intelligence (ECAI-96)Budapest, Hungary.

Robertson D and Hesketh J, 1994. “Making specification design more accountable” Proceedings ONR/ARPA/AFOSR/ARO/NSF Workshop on Increasing the Practical Impact of Formal MethodsMonterey, CA.

Schwitter R and Fuchs NE, 1996. “Attempto—from specifications in controlled natural language towards executable specifications” GI EMISA Workshop Natürlichsprachlicher Entwurf von Informationssystemen, Tutzing.

Schwitter R and Fuchs NE, 1996. “Attempto Controlled English (ACE)—a seemingly informal bridgehead in formal territory” Extended abstract. In Fuchs NE and Geske U (eds) Proceedings Poster Session, JICSLP '96, Joint International Conference and Symposium on Logic ProgrammingBad Honnef, Germany.

Sterling L, 1992. “A role for Prolog in software engineering” Computer Science Colloquium Department of Computer Science, University of Zurich, Switzerland.