Richard Wheeldon Steve Counsell http://arxiv.org/abs/cs.SE/0305037 2003 CoRR cs.SE/0305037 db/journals/corr/corr0305.html#cs-SE-0305037 informal publication