Thomas, L. An Object-Oriented Concurrent Language for Extensibility and Reuse of Synchronization Components. Comput. Inform. 2012, 15, 437-457.