Alan Stewart Maurice Clint Joaquim Gabarró Axiomatic Frameworks for Developing Bsp-style Programs*. 271-292 2000 14 Parallel Algorithms Appl. 4 http://dx.doi.org/10.1080/10637199808947391 db/journals/paapp/paapp14.html#StewartCG00