Lei Pan Wenhui Zhang Arthur Asuncion Ming Kin Lai Michael B. Dillencourt Lubomir Bic Incremental Parallelization Using Navigational Programming: A Case Study. 611-620 2005 conf/icpp/2005 ICPP http://dx.doi.org/10.1109/ICPP.2005.46 db/conf/icpp/icpp2005.html#PanZALDB05