Alfred North Whitehead; Bertrand Russell (1927). Principia Mathematica. Т. 1 (вид. 2nd). Cambridge University Press. На сторінці 665. Згідно з Квайном, термін походить звідти.
google.gr
books.google.gr
John C. Mitchell (2002). Concepts in Programming Languages. Cambridge University Press. с. 78.