Towards a refinement calculus for object systems (2002)

by He Jifeng, Liu Zhiming, Li Xiaoshan
Venue:In Proceedings of the Conference ICCI2002