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

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-S0304397599002753-main.pdf?_tid=4cc6e324-4e3f-11e7-bf5b-00000aacb361&acdnat=1497142123_773ab59c590d4c067c585b032db64b5e http://ac.els-cdn.com/S0304397599002753/1-s2.0-S030439759900...