1. Belnap, N., Jr. (1962). Tonk, plonk and plink. Analysis, 22, 130–134 (Reprinted in Philosophical Logic by P. F. Strawson (ed.) (1967). Oxford University Press, Oxford, 132–137).
2. Dummett, M. A. E. (2000). Elements of intuitionism (2nd ed.). Oxford: Oxford University Press (1st ed. 1977).
3. Dummett, M. A. E. (1991). The logical basis of metaphysics. London: Duckworth.
4. Dyckhoff, R. (2009). Generalised elimination rules and harmony, talk given at St Andrews. Retrieved May 26, 2009,
http://www.cs.st-andrews.ac.uk/rd/talks/2009/GE.pdf
5. Francez, N., & Dyckhoff, R. (2012). A note on harmony. Journal of Philosophical Logic, 41, 613–628.