Jun Inoue, 15 Dec 2011 Ah...this is JUST the paper I've been looking for all these years! http://arxiv.org/abs/cs/060606... Ah...this is JUST the…