Towards a refinement calculus for object systems (2002)

by J He, Z Liu, X Li
Venue:In Proceedings of ICCI2002