Yujun Zheng, Qimin Hu, Jinyun Xue. Knowledge-Based Support for Object-Oriented Software Design and Synthesis: a category theoretic approach. In Proceedings of the Sixth International Conference on Intelligent Systems Design and Applications (ISDA 2006), October 16-18, 2006, Jinan, China. pages 759-764, IEEE Computer Society, 2006. [doi]
Abstract is missing.