代数描述的英文翻译
中文:代数描述
英文翻译:【计】 algebraic specification