"... were a quantum leap in the development of ..., a leap above the details of computation to a real of powerful abstract concepts. The power of these abstract concepts - ... - lies in their ability to capture general features of computation, so that the existence of particular computations can be proved or disproved without attempting to carry them out" (Stillwell)