Since improvement of an abstraction is known as refinement, I think you may be looking for "Refinement Calculus" which actually exists. Smiley  I was surprised.  Smiley  http://en.wikipedia.org/wiki/Refinement_calculus