Object-Oriented Specification Composition and Refinement Via Category Theoretic Computations.

Yujun Zheng, Jinyun Xue, Weibo Liu

Browse the full TAMC paper archive.