A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is
Towards a new model of abstraction in software engineering
Proceedings 1991 International Workshop on Object Orientation in Operating Systems
We now come to the decisive step of mathematical abstraction: we forget about what the symbols stand for... [The mathematician] need not be idle; there are many operations he can carry out with these symbols, without ever having to look at the things they stand for. Hermann Weyl, "The Mathematical Way of Thinking" (This appears at the beginning of the Building Abstractions With Data chapter of "Structure and Interpretation of Computer Programs" by Harold Abelson and Gerald Jay Sussman.) This isdoi:10.1109/iwooos.1991.183036 fatcat:aptwt5fzd5gkvgtuy5ko6xashy