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