Stuart E. Mitchell: TAO - a model for the integration of concurrency and synchronisation in object-oriented programming. University of York, UK 1995