Sampsa Fabritius Raimondas Lencevicius Edu Metz Alexander Ran http://arxiv.org/abs/cs.SE/0302033 2003 CoRR cs.SE/0302033 db/journals/corr/corr0302.html#cs-SE-0302033 informal publication