"algebraic language"@en-us . .