1. Lecture Notes in Computer Science,1996
2. Lecture Notes in Computer Science;J-R Abrial,1996
3. Abrial, J.R., Glässer, U. (eds.): 06191 Summary – Rigorous Methods for Software Construction and Analysis. No. 06191 in Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, May 2006. http://drops.dagstuhl.de/opus/volltexte/2006/665
4. Adler, P., Hegel, G.W.F.: Philosophical dissertation on the orbits of the planets (1801). Graduate Faculty Philos. J. 12(1&2), 269–309 (1987). Translated with Foreword and Notes
5. Ameriks, K.: Kant, Immanuel. In: Audi [6], pp. 398–404