Brock Pytlik Manos Renieris Shriram Krishnamurthi Steven P. Reiss http://arxiv.org/abs/cs.SE/0310040 2003 CoRR cs.SE/0310040 db/journals/corr/corr0310.html#cs-SE-0310040 informal publication