Borba, Paulo Semantics and Refinement for a Concurrent Object Oriented Language, DPhil thesis, Oxford University Computing Laboratory, July 1995.

Languages mentioned

• FOOPS {1987}