Borba, P.
1996 out 14.  A Refinement Theory for Concurrent Object Oriented Languages. Anais do Simpósio Brasileiro de Engenharia de Software (SBES). [Online] :