American Psychological Association 6th edition

Constable, R. L., Kreitz, C., & CORNELL UNIV ITHACA NY DEPT OF COMPUTER SCIENCE. (2002). An Open Logical Programming Environment. A Practical Framework for Sharing Formal Models. DTIC AND NTIS.

ISO-690 (author-date, English)

CONSTABLE, Robert L., KREITZ, Christoph und CORNELL UNIV ITHACA NY DEPT OF COMPUTER SCIENCE, 2002. An Open Logical Programming Environment. A Practical Framework for Sharing Formal Models. DTIC AND NTIS. 1 Januar 2002.

Modern Language Association 9th edition

Constable, R. L., C. Kreitz, und CORNELL UNIV ITHACA NY DEPT OF COMPUTER SCIENCE. „An Open Logical Programming Environment. A Practical Framework for Sharing Formal Models“. DTIC AND NTIS, Januar 2002.

Mohr Siebeck - Recht (Deutsch - Österreich)

Constable, Robert L./Kreitz, Christoph/CORNELL UNIV ITHACA NY DEPT OF COMPUTER SCIENCE: An Open Logical Programming Environment. A Practical Framework for Sharing Formal Models, DTIC AND NTIS 2002,

Emerald - Harvard

Constable, R.L., Kreitz, C. und CORNELL UNIV ITHACA NY DEPT OF COMPUTER SCIENCE. (2002), „An Open Logical Programming Environment. A Practical Framework for Sharing Formal Models“, DTIC AND NTIS.

Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.