Towards a general theory of implementation.

Towards a general theory of implementation.