A. E. Doroshenko, A. B. Godlevsky, and L. Hluchý, “Models and parallel programming abstractions for synchronization and communication”, Comput. Inform., vol. 18, no. 4, pp. 361–381, Mar. 2012.