rcos: A refinement calculus of object systems (2006)

by J He, X Li, Z Liu
Venue:Theoretical Computer Science