J. O. Donnell and G. Rünger, “ABSTRACT PARALLEL MACHINES”, Comput. Inform., vol. 19, no. 2, pp. 105–129, Mar. 2012.