Simeon Warner http://arxiv.org/abs/cs.DL/0307008 2003 CoRR cs.DL/0307008 db/journals/corr/corr0307.html#cs-DL-0307008 informal publication