Calculus is a nice mathematical explanation of certain specific things (functions, change, etc). Similarly we can hope to find nice mathematical accounts of sp

Calculus is a nice mathematical explanation of certain specific things (functions, change, etc). Similarly we can hope to find nice mathematical accounts of specific software domains, but "abstraction in general" is just as broad as "mathematics in general" and we won't be finding a silver bullet anytime soon.