Ray Dawson Phil Bones Briony J. Oates Pearl Brereton Motoei Azuma Mary Lou Jackson 52-58 2003 conf/step/2003 STEP http://doi.ieeecomputersociety.org/10.1109/STEP.2003.9 db/conf/step/step2003.html#DawsonBOBAJ03