I can't, my understanding of category theory and universal algebra is only enough to sniff at it. Joseph Goguen's work is a good direction to look to if you are equipped with those tools. He cites Parnas's work which is the easier to grasp analysis of modular abstraction. Here is a representative paper:

A hidden agenda Joseph Goguena, Grant Malcolmb http://ac.els-cdn.com/S0304397599002753/1-s2.0-S030439759900...