Y. M. Teo, “Managing Parallelism in Parallel Systems”, Comput. Inform., vol. 14, no. 1, pp. 57–91, Jan. 2012.