Nelson Cheng: Revisiting Inheritance of Synchronization Constraints. TOOLS (12/9) 1993: 439-447