Abdelsalam Shanneb, John Potter, James Noble: Exclusion requirements and potential concurrency for composite objects. Sci. Comput. Program. 58(3): 344-365 (2005)