Knowledge-Based Support for Object-Oriented Software Design and Synthesis: a category theoretic approach.

Yujun Zheng, Qimin Hu, Jinyun Xue

Browse the full ISDA paper archive.