代数的仕様記述