1. S. Abramsky, D. M. Gabbay, T.S.E. Maibaum (eds.) Handbook of Logic in Computer Science, Vols. I–IV, Clarendon Press, Oxford 1992-1995.
2. J. Barwise (ed.), Handbook of Mathematical Logic, North-Holland, Amsterdam 1977.
3. Y. Gurevich, Logic and the challenge of computer science, in: Current Trends in Theoretical Computer Science (E. Börger, ed.), Computer Science Press, 1988, pp. 1–57.
4. R. Milner, Elements of interaction–Turing Award Lecture, Comm. ACM 36(1), 1993, pp. 78–89.
5. G.W. Leibniz, Anfangsgründe einer allgemeinen Charakteristik (Latin original untitled), in: Die philosophischen Schriften von Gottfried Wilhelm Leibniz (C. I. Gerhardt, ed.), Vol. VII, Berlin 1890, p. 185 ff.