期刊:理论计算。系统。