Common Algebraic Specification Language

From Free net encyclopedia