Lawrence Snyder Experimental Validation of Models of Parallel Computation. 78-100 1995 books/sp/CStoday1995 Computer Science Today db/books/collections/CStoday.html#Snyder95 http://dx.doi.org/10.1007/BFb0015238