Dijkstra also beautifully sums up this concept in his 1972 ACM Turing Lecture [1]: > The purpose of abstraction is not to be vague, but to create a new semanti

Dijkstra also beautifully sums up this concept in his 1972 ACM Turing Lecture [1]: > The purpose of abstraction is not to be vague, but to create a new semantic level in which one can be absolutely precise [1] https://www.cs.utexas.edu/~EWD/transcriptions/EWD03xx/EWD340.html https://www.cs.utexas.edu/~EWD/transcriptions/EWD03xx/EWD340...