abstraction, n of action
3. The act or process of separating in thought, of considering a thing independently of its associations; or a substance independently of its attributes; or an attribute or quality independently of the substance to which it belongs.
4. The result of abstracting: the idea of something which has no independent existence; a thing which exists only in idea; something visionary.
-- Oxford English Dictionary, 2nd edn
-- Edsger Dijkstra. The Humble Programmer. ACM Turing Lecture 1972. EWD340
-- Goguen & Meseguer. Unifying Functional, Object-Oriented and Relational Programming with Logical Semantics. 1987
-- Wegner. Dimensions of object-based language design. OOPSLA 1987