1. A. R. Anderson und N. D. Belnap. Entailment. The logic of relevance and necessity. Vol. I. Princeton University Press, 1975.
2. A. R. Anderson, N. D. Belnap und J. M. Dunn. Entailment. The logic of relevance and necessity. Vol. II. Princeton University Press, 1992.
3. W. Ackermann. Begründung einer strengen Implikation. The journal of symbolic logic 21, pp. 113–128, 1956.
4. W. Ackermann. Über die Beziehung zwischen strikter und strenger Implikation. Dialectica 12, pp. 213–222. — Auch in Logica. Studia Paul Bernays dedicata. Editions du Griffon, pp. 9–18, 1959.
5. S. Abramsky, D. M. Gabbay, T. S. E. Maibaum [Hrsg.]. Handbook of logic in computer science. 5 Bde. Clarendon Press, 1992 (I, II), 1995 (III, IV), 2000 (V).