Lindenstrauss, N. and Dershowitz, N. 2012. ABSTRACT AND-PARALLEL MACHINES. COMPUTING AND INFORMATICS. 19, 5 (Jan. 2012), 475–493.