Nils Ellmenreich Christian Lengauer Costing stepwise refinements of parallel programs. 134-167 2007 33 Computer Languages, Systems & Structures 3-4 http://dx.doi.org/10.1016/j.cl.2006.03.002 db/journals/cl/cl33.html#EllmenreichL07