Term originated in Iverson, K. E. (1980). Notation as a tool of thought. Communications of the ACM, 23(8), 444–465