Models and Mechanisms of Abstraction