L. Thomas, “An Object-Oriented Concurrent Language for Extensibility and Reuse of Synchronization Components”, Comput. Inform., vol. 15, no. 5, pp. 437–457, Mar. 2012.