A long time ago it was proven than a number of different abstract notions of computers could all solve the same set of problems. We now have a number of differ

A long time ago it was proven than a number of different abstract notions of computers could all solve the same set of problems. We now have a number of different ways of articulating abstractions in source code. I suspect there is a mechanical way to transform a design using ADT's to a design using OO with the same dependency graph. We need to characterize the canonical abstraction in the same way we characterize a turing machine.