Computable Analysis inbundenEngelska, 2000