Borba, Paulo.
" A Refinement Theory for Concurrent Object Oriented Languages" <em>Anais do Simpósio Brasileiro de Engenharia de Software (SBES)</em> [Online], (14 outubro 1996)