Christian Schaubschläger Dieter Kranzlmüller Jens Volkert http://arxiv.org/abs/cs.SE/0310007 2003 CoRR cs.SE/0310007 db/journals/corr/corr0310.html#cs-SE-0310007 informal publication