Carl G. Ritson Jonathan Simpson Virtual Machine Based Debugging for occam-pi. 293-307 2008 CPA http://dx.doi.org/10.3233/978-1-58603-907-3-293 conf/wotug/2008 db/conf/wotug/cpa2008.html#RitsonS08