N. Lindenstrauss and N. Dershowitz, “ABSTRACT AND-PARALLEL MACHINES”, Comput. Inform., vol. 19, no. 5, pp. 475–493, Jan. 2012.