Paulo Borba. A Refinement Theory for Concurrent Object Oriented Languages. In Paulo César Masiero, José Carlos Maldonado, editors, Proceedings of the 10th Brazilian Symposium on Software Engineering, SBES 1996, São Carlos, SP, Brazil, October 14-18, 1996. pages 39-55, SBC, 1996. [doi]
Abstract is missing.