Borba, Paulo and Joseph A. Goguen. Refinement of Concurrent Object Oriented Programs. Chapter 11 of Formal Methods in Object Technology, Stephen Goldsack and Stuart Kent (eds.), Springer, 1996. Also appears as Technical Report TR-18-95, Oxford University Computing Laboratory, Programming Research Group, November 1995 (1995) |