Borba, P.
1996 Oct 14.  A Refinement Theory for Concurrent Object Oriented Languages. Proceedings of the Brazilian Symposium on Software Engineering (SBES). [Online] :