is computer science really "The Mechanization of Abstraction" ? I guess "abstraction of mechanization" is better at least nowadays.