代数说明的英文翻译

中文:代数说明

英文翻译:【计】 algebraic specification