Assefaw Hadish Gebremedhin Mohamed Essaïdi Isabelle Guérin Lassous Jens Gustedt Jan Arne Telle PRO: A Model for the Design and Analysis of Efficient and Scalable Parallel Algorithms. 215-239 2006 13 Nord. J. Comput. 4 db/journals/njc/njc13.html#GebremedhinELGT06